diff options
| -rw-r--r-- | src/aig/gia/giaCone.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaCone.c b/src/aig/gia/giaCone.c index 619cfe2f..16ed5a92 100644 --- a/src/aig/gia/giaCone.c +++ b/src/aig/gia/giaCone.c @@ -505,7 +505,7 @@ Vec_Ptr_t * Gia_ManHashOutputs( Gia_Man_t * p, Vec_Wrd_t * vSigns, int fVerbose int Offset = Vec_IntEntry( vBin, 0 ); word Sign = Vec_WrdEntry( vSigns, Offset ); printf( "%3d ", i ); - Extra_PrintBinary( stdout, &Offset, 64 ); + Extra_PrintBinary( stdout, (unsigned *)&Sign, 64 ); printf( " " ); } |