1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c
index 941ef7a7..ed314fcd 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -348,6 +348,8 @@ int IoCommandReadBlif( Abc_Frame_t * pAbc, int argc, char ** argv )
     {
         Abc_Ntk_t * pTemp;
         pNtk = Io_ReadBlif( pFileName, fCheck );
+        if ( pNtk == NULL )
+            return 1;
         pNtk = Abc_NtkToLogic( pTemp = pNtk );
         Abc_NtkDelete( pTemp );
     }