diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-09 13:37:37 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-09 13:37:37 -0800 |
| commit | ec2973947cfe8165fdbbdaeeb011e3245cd683f8 (patch) | |
| tree | 01644adb5bea9c48e67d27ae1023f9f7199f27f8 /src/aig/gia/giaCone.c | |
| parent | 1eb4059f059973f11ee0298e4f67f16662702013 (diff) | |
| download | abc-ec2973947cfe8165fdbbdaeeb011e3245cd683f8.tar.gz abc-ec2973947cfe8165fdbbdaeeb011e3245cd683f8.tar.bz2 abc-ec2973947cfe8165fdbbdaeeb011e3245cd683f8.zip | |
PO partitioning algorithm.
Diffstat (limited to 'src/aig/gia/giaCone.c')
| -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( " " ); } |