From f59de3decc1daad5c2d27c8b9d8b680db9dbd574 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 20 Sep 2012 11:29:37 -0700
Subject: Fixes to Verilog parser.

---
 src/base/io/io.c | 6 ++++++
 1 file changed, 6 insertions(+)

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

diff --git a/src/base/io/io.c b/src/base/io/io.c
index aed809b3..37774a8c 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -197,6 +197,12 @@ int IoCommandRead( Abc_Frame_t * pAbc, int argc, char ** argv )
     for ( pTemp = pFileName; *pTemp; pTemp++ )
         if ( *pTemp == '>' )
             *pTemp = '\\';
+    // check if the library is available
+    if ( glo_fMapped && Abc_FrameReadLibGen() == NULL )
+    {
+        Abc_Print( 1, "Cannot read mapped design when the library is not given.\n" );
+        return 0;
+    }
     // read the file using the corresponding file reader
     pNtk = Io_Read( pFileName, Io_ReadFileType(pFileName), fCheck );
     if ( pNtk == NULL )
-- 
cgit v1.2.3