summaryrefslogtreecommitdiffstats
path: root/src/map
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-10-08 13:26:23 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-10-08 13:26:23 -0700
commitca9eca3b227ae3f8a60038ba9c295f5383a6826d (patch)
tree19b6b5a239fa64537b683886fdb4a0f4f89f1e56 /src/map
parent97b52a6a6d4407ca7df35e06e175fbddbd0bb715 (diff)
downloadabc-ca9eca3b227ae3f8a60038ba9c295f5383a6826d.tar.gz
abc-ca9eca3b227ae3f8a60038ba9c295f5383a6826d.tar.bz2
abc-ca9eca3b227ae3f8a60038ba9c295f5383a6826d.zip
Small changes.
Diffstat (limited to 'src/map')
-rw-r--r--src/map/if/ifDsd.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c
index f9f25437..d97cd9be 100644
--- a/src/map/if/ifDsd.c
+++ b/src/map/if/ifDsd.c
@@ -2745,6 +2745,8 @@ void Id_DsdManTuneThresh( If_DsdMan_t * p, int fUnate, int fThresh, int fVerbose
if ( (i & 0xFF) == 0 )
Extra_ProgressBarUpdate( pProgress, i, NULL );
nVars = If_DsdObjSuppSize(pObj);
+ if ( nVars > 8 )
+ continue;
pTruth = If_DsdManComputeTruth( p, Abc_Var2Lit(i, 0), NULL );
if ( fVeryVerbose )
Dau_DsdPrintFromTruth( pTruth, nVars );