diff options
Diffstat (limited to 'src/misc/extra/extraBddKmap.c')
-rw-r--r-- | src/misc/extra/extraBddKmap.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/misc/extra/extraBddKmap.c b/src/misc/extra/extraBddKmap.c index e91172bb..aa5efe75 100644 --- a/src/misc/extra/extraBddKmap.c +++ b/src/misc/extra/extraBddKmap.c @@ -222,6 +222,8 @@ void Extra_PrintKMap( fprintf( Output, "PrintKMap(): The on-set and the off-set overlap\n" ); return; } + if ( nVars == 0 ) + { printf( "Function is constant %d.\n", !Cudd_IsComplement(OnSet) ); return; } // print truth table for debugging if ( fPrintTruth ) |