From 0b73c7638021070962a1918616b89a1cd401b56f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 8 Nov 2011 17:58:51 -0800 Subject: [PATCH] Preventing scripts from aborting if reading has failed. --- src/base/io/io.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/io/io.c b/src/base/io/io.c index d205d4cf8..1c82d91b8 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -198,7 +198,7 @@ int IoCommandRead( Abc_Frame_t * pAbc, int argc, char ** argv ) // read the file using the corresponding file reader pNtk = Io_Read( pFileName, Io_ReadFileType(pFileName), fCheck ); if ( pNtk == NULL ) - return 1; + return 0; // replace the current network Abc_FrameReplaceCurrentNetwork( pAbc, pNtk ); Abc_FrameCopyLTLDataBase( pAbc, pNtk );