diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-05 15:07:10 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-05 15:07:10 -0800 |
| commit | b632c8496cc48bb8be0851ea2c183f94c201f791 (patch) | |
| tree | 797a7a903c588159aac8daaf2b5b26cc71a48239 /src | |
| parent | bc288a76332b1684b0183084aee0a4f46c617b62 (diff) | |
| download | abc-b632c8496cc48bb8be0851ea2c183f94c201f791.tar.gz abc-b632c8496cc48bb8be0851ea2c183f94c201f791.tar.bz2 abc-b632c8496cc48bb8be0851ea2c183f94c201f791.zip | |
Fixing some warnings with -Wconversion.
Diffstat (limited to 'src')
| -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]; |