diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-08 10:52:32 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-08 10:52:32 -0700 |
commit | 141c1de0a278bcb18070f2d6e3edfc0b927436fb (patch) | |
tree | 1914a9d900ed118602548a95442285d67ec7af44 /src/map/if/ifDsd.c | |
parent | e4d58876714197bc3597846bf3224c0cdf8b1c66 (diff) | |
download | abc-141c1de0a278bcb18070f2d6e3edfc0b927436fb.tar.gz abc-141c1de0a278bcb18070f2d6e3edfc0b927436fb.tar.bz2 abc-141c1de0a278bcb18070f2d6e3edfc0b927436fb.zip |
Compiler warnings.
Diffstat (limited to 'src/map/if/ifDsd.c')
-rw-r--r-- | src/map/if/ifDsd.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c index cfccc362..f9f25437 100644 --- a/src/map/if/ifDsd.c +++ b/src/map/if/ifDsd.c @@ -2754,6 +2754,8 @@ void Id_DsdManTuneThresh( If_DsdMan_t * p, int fUnate, int fThresh, int fVerbose Value = Abc_TtIsUnate( pTruth, nVars ); else if ( fThresh ) Value = Extra_ThreshCheck( pTruth, nVars, pW ); + else + Value = 0; Perm = 0; if ( fVeryVerbose ) printf( "\n" ); |