diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-08 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-08 08:01:00 -0700 |
| commit | e94ccfd3fb07d22ed426e0386ccf536e470744b7 (patch) | |
| tree | 395b99b931beee0c3416a098cc647f9b6a5b3080 /src/base/io/ioReadAiger.c | |
| parent | 6175fcb8026bae3db5b4280b655131322d7944da (diff) | |
| download | abc-e94ccfd3fb07d22ed426e0386ccf536e470744b7.tar.gz abc-e94ccfd3fb07d22ed426e0386ccf536e470744b7.tar.bz2 abc-e94ccfd3fb07d22ed426e0386ccf536e470744b7.zip | |
Version abc80508
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 ) ) { |