From ed1bf0000e5f2e7538274057f94261fc0eae0e30 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 30 Sep 2014 19:51:39 -0700
Subject: Improvements to bit-blaster.

---
 src/misc/extra/extraBddKmap.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/misc/extra')

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 )
-- 
cgit v1.2.3