summaryrefslogtreecommitdiffstats
path: root/src/misc/extra/extraBddKmap.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/misc/extra/extraBddKmap.c')
-rw-r--r--src/misc/extra/extraBddKmap.c2
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 )