From 77ca1b747068d92731f12413fcc0e2d96414c8db Mon Sep 17 00:00:00 2001 From: Baruch Sterin Date: Thu, 23 Nov 2017 23:32:42 -0800 Subject: C++ compatibility: fix bad pointer comparison --- src/base/bac/bac.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base') diff --git a/src/base/bac/bac.h b/src/base/bac/bac.h index 27792363..bbc8a5fb 100644 --- a/src/base/bac/bac.h +++ b/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" ); } -- cgit v1.2.3