From a02bdebcc484ce18f388a7f172355da9cda9395e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 25 Jan 2017 14:58:06 -0800
Subject: Corner-case bug in MiniLUT.

---
 src/aig/gia/giaMini.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaMini.c b/src/aig/gia/giaMini.c
index 4ee92cdd..67805d44 100644
--- a/src/aig/gia/giaMini.c
+++ b/src/aig/gia/giaMini.c
@@ -295,6 +295,7 @@ Mini_Lut_t * Gia_ManToMiniLut( Gia_Man_t * pGia )
     word Truth;
     assert( Gia_ManHasMapping(pGia) );
     LutSize = Gia_ManLutSizeMax( pGia );
+    LutSize = Abc_MaxInt( LutSize, 2 );
     assert( LutSize >= 2 );
     // create the manager
     p = Mini_LutStart( LutSize );
-- 
cgit v1.2.3