From 711ea3dfecc62cba9035a7e655dec4e4119420f0 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 11 Oct 2017 18:07:35 +0700
Subject: Another variation on exact synthesis.

---
 src/misc/util/utilTruth.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/misc')

diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h
index a9585c74..e0210a66 100644
--- a/src/misc/util/utilTruth.h
+++ b/src/misc/util/utilTruth.h
@@ -1063,7 +1063,7 @@ static inline int Abc_TtReadHex( word * pTruth, char * pString )
         }
     }
     // determine the number of variables
-    nVars = 2 + Abc_Base2Log( nDigits );
+    nVars = 2 + (nDigits == 1 ? 0 : Abc_Base2Log(nDigits));
     // clean storage
     for ( k = Abc_TtWordNum(nVars) - 1; k >= 0; k-- )
         pTruth[k] = 0;
-- 
cgit v1.2.3