From a28be94ac79c0cbb0960565573985838d7a27a79 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 21 Jan 2017 11:59:01 +0800
Subject: Small fixes and a change to &cec to allow two files names given as
 command-line arguments.

---
 src/aig/gia/giaTim.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/aig/gia/giaTim.c')

diff --git a/src/aig/gia/giaTim.c b/src/aig/gia/giaTim.c
index 71b9a475..29aa93f8 100644
--- a/src/aig/gia/giaTim.c
+++ b/src/aig/gia/giaTim.c
@@ -584,6 +584,8 @@ int Gia_ManLutLevelWithBoxes( Gia_Man_t * p )
     Gia_Obj_t * pObj, * pObjIn;
     int i, k, j, curCi, curCo, LevelMax;
     assert( Gia_ManRegNum(p) == 0 );
+    if ( pManTime == NULL )
+        return Gia_ManLutLevel(p, NULL);
     // copy const and real PIs
     Gia_ManCleanLevels( p, Gia_ManObjNum(p) );
     Gia_ObjSetLevel( p, Gia_ManConst0(p), 0 );
-- 
cgit v1.2.3