diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-30 13:46:31 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-30 13:46:31 -0400 |
| commit | a8c85d79e7afb7baf982a9660bd661b8f93f65e5 (patch) | |
| tree | c153dad4b4ea51292d63240fc6a0fa6c5bebb1e9 /src/map/if | |
| parent | 2b85ef06e5490e4b1d8bdc450b13052fcd91a4d0 (diff) | |
| download | abc-a8c85d79e7afb7baf982a9660bd661b8f93f65e5.tar.gz abc-a8c85d79e7afb7baf982a9660bd661b8f93f65e5.tar.bz2 abc-a8c85d79e7afb7baf982a9660bd661b8f93f65e5.zip | |
Compiler warnings.
Diffstat (limited to 'src/map/if')
| -rw-r--r-- | src/map/if/ifDec08.c | 2 | ||||
| -rw-r--r-- | src/map/if/ifDec10.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifDec08.c b/src/map/if/ifDec08.c index e299c39e..89bee1f7 100644 --- a/src/map/if/ifDec08.c +++ b/src/map/if/ifDec08.c @@ -283,7 +283,6 @@ static inline int If_Dec08DeriveCount2( word * pF, word * pRes, int nVars ) *pRes = ((iCof1 << nShift) | iCof0); return MaskDec; } -*/ static inline word If_DecTruthStretch( word t, int nVars ) { assert( nVars > 1 ); @@ -299,6 +298,7 @@ static inline word If_DecTruthStretch( word t, int nVars ) nVars++, t = (t & 0xFFFFFFFF) | ((t & 0xFFFFFFFF) << 32); assert( nVars >= 6 ); } +*/ // support minimization static inline int If_DecSuppIsMinBase( int Supp ) diff --git a/src/map/if/ifDec10.c b/src/map/if/ifDec10.c index e91dc5c2..00904a18 100644 --- a/src/map/if/ifDec10.c +++ b/src/map/if/ifDec10.c @@ -280,7 +280,6 @@ static inline int If_Dec10DeriveCount2( word * pF, word * pRes, int nVars ) *pRes = ((iCof1 << nShift) | iCof0); return MaskDec; } -*/ static inline word If_DecTruthStretch( word t, int nVars ) { assert( nVars > 1 ); @@ -296,6 +295,7 @@ static inline word If_DecTruthStretch( word t, int nVars ) nVars++, t = (t & 0xFFFFFFFF) | ((t & 0xFFFFFFFF) << 32); assert( nVars >= 6 ); } +*/ // support minimization static inline int If_DecSuppIsMinBase( int Supp ) |