diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-11 21:42:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-11 21:42:00 -0700 |
| commit | 2d6a6f66547345e1f67923363c4f63125a07e242 (patch) | |
| tree | c0c9b1505da6864bc697970ca3cb0c16cacd4b84 /src/base/io/ioUtil.c | |
| parent | 2d1d315eceecf580011eb8f499d020eb60da1597 (diff) | |
| download | abc-2d6a6f66547345e1f67923363c4f63125a07e242.tar.gz abc-2d6a6f66547345e1f67923363c4f63125a07e242.tar.bz2 abc-2d6a6f66547345e1f67923363c4f63125a07e242.zip | |
Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving AIG (cubes -x; st).
Diffstat (limited to 'src/base/io/ioUtil.c')
| -rw-r--r-- | src/base/io/ioUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/io/ioUtil.c b/src/base/io/ioUtil.c index 2432079f..7e8ece6e 100644 --- a/src/base/io/ioUtil.c +++ b/src/base/io/ioUtil.c @@ -144,7 +144,7 @@ Abc_Ntk_t * Io_ReadNetlist( char * pFileName, Io_FileType_t FileType, int fCheck else if ( FileType == IO_FILE_EQN ) pNtk = Io_ReadEqn( pFileName, fCheck ); else if ( FileType == IO_FILE_PLA ) - pNtk = Io_ReadPla( pFileName, 0, 0, fCheck ); + pNtk = Io_ReadPla( pFileName, 0, 0, 0, fCheck ); else if ( FileType == IO_FILE_VERILOG ) pNtk = Io_ReadVerilog( pFileName, fCheck ); else |