C++ compatibility: fix bad pointer comparison

src/base/bac/bac.h

@@ -650,7 +650,7 @@ static inline void Bac_NtkPrintStats( Bac_Ntk_t * p )
     printf( "clp =%7d  ",  p->Count );
     printf( "obj =%7d  ",  Bac_NtkObjNum(p) );
     printf( "%s ",         Bac_NtkName(p) );
-    if ( Bac_NtkHostNtk(p) > 0 )
+    if ( Bac_NtkHostNtk(p) )
         printf( "-> %s",   Bac_NtkName(Bac_NtkHostNtk(p)) );
     printf( "\n" );
 }

src/bdd/dsd/dsd.h

@@ -78,7 +78,7 @@ typedef enum   Dsd_Type_t_      Dsd_Type_t;
 #define Dsd_NodeForEachChild( Node, Index, Child )        \
     for ( Index = 0;                                      \
           Index < Dsd_NodeReadDecsNum(Node) &&            \
-             ((Child = Dsd_NodeReadDec(Node,Index))>=0);  \
+             ((Child = Dsd_NodeReadDec(Node,Index))!=0);  \
           Index++ )
 
 ////////////////////////////////////////////////////////////////////////