From 9b059e3085eaa55817684926b3c508ba7fe0075f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 15 Mar 2008 08:01:00 -0700
Subject: Version abc80315

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

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

diff --git a/src/base/io/io.c b/src/base/io/io.c
index 551feb0b..e1ff3b08 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -825,7 +825,7 @@ int IoCommandReadTruth( Abc_Frame_t * pAbc, int argc, char ** argv )
         pSopCover = Abc_SopFromTruthHex(argv[globalUtilOptind]);
     else
         pSopCover = Abc_SopFromTruthBin(argv[globalUtilOptind]);
-    if ( pSopCover == NULL )
+    if ( pSopCover == NULL || pSopCover[0] == 0 )
     {
         fprintf( pAbc->Err, "Reading truth table has failed.\n" );
         return 1;
-- 
cgit v1.2.3