diff options
| -rw-r--r-- | src/aig/gia/gia.h | 2 | ||||
| -rw-r--r-- | src/map/amap/amapInt.h | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index d386f8ba..698903da 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -356,7 +356,7 @@ struct Jf_Par_t_ word WordMapDelay; word WordMapArea; word WordMapDelayTarget; - float MapDelay; + int MapDelay; float MapArea; float MapAreaF; float MapDelayTarget; diff --git a/src/map/amap/amapInt.h b/src/map/amap/amapInt.h index 82ca49dd..3a6432de 100644 --- a/src/map/amap/amapInt.h +++ b/src/map/amap/amapInt.h @@ -203,8 +203,8 @@ struct Amap_Obj_t_ unsigned fPhase : 1; unsigned fRepr : 1; unsigned fPolar : 1; // pCutBest->fInv ^ pSetBest->fInv - unsigned Level : 12; // 20 (July 16, 2009) - unsigned nCuts : 20; // 12 (July 16, 2009) + unsigned Level; + unsigned nCuts; int nRefs; int Equiv; int Fan[3]; |