diff options
Diffstat (limited to 'src/base/io/ioReadAiger.c')
-rw-r--r-- | src/base/io/ioReadAiger.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/io/ioReadAiger.c b/src/base/io/ioReadAiger.c index 4820bced..3739205d 100644 --- a/src/base/io/ioReadAiger.c +++ b/src/base/io/ioReadAiger.c @@ -19,7 +19,7 @@ ***********************************************************************/ -#include "io.h" +#include "ioAbc.h" //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// @@ -327,7 +327,7 @@ Abc_Ntk_t * Io_ReadAiger( char * pFileName, int fCheck ) } // read the name of the model if given - if ( *pCur == 'c' ) + if ( *pCur == 'c' && pCur < pContents + nFileSize ) { if ( !strncmp( pCur + 2, ".model", 6 ) ) { |