diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-19 19:06:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-19 19:06:01 -0700 |
| commit | a02b0203568f4c20f50c81e26603c3a5ee4083eb (patch) | |
| tree | fe1bda9a7f1699798a9e56c22615c2749ff22069 /src/map/if/ifTune.c | |
| parent | f989aea224760cc35f5b3bf232e9dccac4f1baa4 (diff) | |
| download | abc-a02b0203568f4c20f50c81e26603c3a5ee4083eb.tar.gz abc-a02b0203568f4c20f50c81e26603c3a5ee4083eb.tar.bz2 abc-a02b0203568f4c20f50c81e26603c3a5ee4083eb.zip | |
Updating DSD balance to handle XOR gate as having the same delay as AND gate.
Diffstat (limited to 'src/map/if/ifTune.c')
| -rw-r--r-- | src/map/if/ifTune.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c index d17644b1..e7b1ad05 100644 --- a/src/map/if/ifTune.c +++ b/src/map/if/ifTune.c @@ -207,7 +207,7 @@ int Inf_ManOpenSymb( char * pStr ) } int Ifn_ManStrCheck( char * pStr, int * pnInps, int * pnObjs ) { - int i, nNodes = 0, Marks[32] = {0}, MaxVar = -1, RetValue = 1; + int i, nNodes = 0, Marks[32] = {0}, MaxVar = -1; for ( i = 0; pStr[i]; i++ ) { if ( Inf_ManOpenSymb(pStr+i) ) |