diff options
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++; |