diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-31 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-31 08:01:00 -0700 |
commit | ab7cb9c6ad52934b80e44f2bb5ae94049a5a4ae5 (patch) | |
tree | eecf964e680ab7f91dc9f2635cfd508f44769afd /src/base/io/ioRead.c | |
parent | 2b85f5ba649bcc81873697718fe8a9085d09c31d (diff) | |
download | abc-ab7cb9c6ad52934b80e44f2bb5ae94049a5a4ae5.tar.gz abc-ab7cb9c6ad52934b80e44f2bb5ae94049a5a4ae5.tar.bz2 abc-ab7cb9c6ad52934b80e44f2bb5ae94049a5a4ae5.zip |
Version abc50831
Diffstat (limited to 'src/base/io/ioRead.c')
-rw-r--r-- | src/base/io/ioRead.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/io/ioRead.c b/src/base/io/ioRead.c index 75c87a80..acf4deda 100644 --- a/src/base/io/ioRead.c +++ b/src/base/io/ioRead.c @@ -53,6 +53,8 @@ Abc_Ntk_t * Io_Read( char * pFileName, int fCheck ) pNtk = Io_ReadEdif( pFileName, fCheck ); else if ( Extra_FileNameCheckExtension( pFileName, "pla" ) ) pNtk = Io_ReadPla( pFileName, fCheck ); + else if ( Extra_FileNameCheckExtension( pFileName, "eqn" ) ) + pNtk = Io_ReadEqn( pFileName, fCheck ); else { fprintf( stderr, "Unknown file format\n" ); |