From 968be1577b684070e6ad6c1aebd70559062d94f3 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 11 Nov 2014 23:17:48 -0800
Subject: Generation of barrier-buffers for hierarchical design.

---
 src/base/io/ioUtil.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/io/ioUtil.c')

diff --git a/src/base/io/ioUtil.c b/src/base/io/ioUtil.c
index 671c6d56..cc1e9e40 100644
--- a/src/base/io/ioUtil.c
+++ b/src/base/io/ioUtil.c
@@ -157,7 +157,7 @@ Abc_Ntk_t * Io_ReadNetlist( char * pFileName, Io_FileType_t FileType, int fCheck
         fprintf( stdout, "Reading network from file has failed.\n" );
         return NULL;
     }
-    if ( Abc_NtkBlackboxNum(pNtk) || Abc_NtkWhiteboxNum(pNtk) )
+    if ( fCheck && (Abc_NtkBlackboxNum(pNtk) || Abc_NtkWhiteboxNum(pNtk)) )
     {
         int i, fCycle = 0;
         Abc_Ntk_t * pModel;
-- 
cgit v1.2.3