diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-12 23:34:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-12 23:34:54 -0700 |
| commit | ee1e20ddf8716d057fa8e5ce18485afac2b7a871 (patch) | |
| tree | 55fa5a93e3bc0fd63ff894b89b27ec846a800f22 /src/map/if/ifDec75.c | |
| parent | fcfafb06017e50144966cd4d56dfac77123ae03c (diff) | |
| download | abc-ee1e20ddf8716d057fa8e5ce18485afac2b7a871.tar.gz abc-ee1e20ddf8716d057fa8e5ce18485afac2b7a871.tar.bz2 abc-ee1e20ddf8716d057fa8e5ce18485afac2b7a871.zip | |
Enabling additional matching feature in the LUT mapper.
Diffstat (limited to 'src/map/if/ifDec75.c')
| -rw-r--r-- | src/map/if/ifDec75.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/map/if/ifDec75.c b/src/map/if/ifDec75.c index 0135f87d..024f46ac 100644 --- a/src/map/if/ifDec75.c +++ b/src/map/if/ifDec75.c @@ -205,7 +205,6 @@ int Dau_DsdCheckDecAndExist( char * pDsd ) int If_CutPerformCheck75__( If_Man_t * p, unsigned * pTruth, int nVars, int nLeaves, char * pStr ) { char pDsdStr[1000]; - int fDerive = 0; int nSizeNonDec, nDecExists, nDecAndExists; static int Counter = 0; Counter++; |