diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-18 11:32:24 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-18 11:32:24 -0700 |
| commit | ac4962eb2d35d905c2d0ae2d41905e8c4d1df157 (patch) | |
| tree | 73277fb3b794ed3d832926d40624bcb6a24122fa /src/aig/gia/giaTruth.c | |
| parent | 13dd754a8c0113bebc0ad65def80d4caf5fc9b60 (diff) | |
| download | abc-ac4962eb2d35d905c2d0ae2d41905e8c4d1df157.tar.gz abc-ac4962eb2d35d905c2d0ae2d41905e8c4d1df157.tar.bz2 abc-ac4962eb2d35d905c2d0ae2d41905e8c4d1df157.zip | |
Compiler warnings.
Diffstat (limited to 'src/aig/gia/giaTruth.c')
| -rw-r--r-- | src/aig/gia/giaTruth.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/aig/gia/giaTruth.c b/src/aig/gia/giaTruth.c index f8a9e043..0ba2f244 100644 --- a/src/aig/gia/giaTruth.c +++ b/src/aig/gia/giaTruth.c @@ -74,7 +74,6 @@ void Gia_ObjComputeTruthTable6Lut_rec( Gia_Man_t * p, int iObj, Vec_Wrd_t * vTem } word Gia_ObjComputeTruthTable6Lut( Gia_Man_t * p, int iObj, Vec_Wrd_t * vTemp ) { - Gia_Obj_t * pObj = Gia_ManObj( p, iObj ); int i, Fanin; assert( Vec_WrdSize(vTemp) == Gia_ManObjNum(p) ); assert( Gia_ObjIsLut(p, iObj) ); |