diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-30 21:02:29 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-30 21:02:29 -0700 |
| commit | 1794bd37cddc9ba24b9b1f517ee813e238f62ae4 (patch) | |
| tree | 47d2163e1a03f15c33c90682374c611e56426159 /src/map/mio/mio.c | |
| parent | 02f7ede7c6d605ca58cbdd882d1818c7a274f5bc (diff) | |
| download | abc-1794bd37cddc9ba24b9b1f517ee813e238f62ae4.tar.gz abc-1794bd37cddc9ba24b9b1f517ee813e238f62ae4.tar.bz2 abc-1794bd37cddc9ba24b9b1f517ee813e238f62ae4.zip | |
Made gate library package Mio independent of CUDD.
Diffstat (limited to 'src/map/mio/mio.c')
| -rw-r--r-- | src/map/mio/mio.c | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/map/mio/mio.c b/src/map/mio/mio.c index 2121b7b9..a034e549 100644 --- a/src/map/mio/mio.c +++ b/src/map/mio/mio.c @@ -22,10 +22,8 @@ #include <unistd.h> #endif -#include "abc.h" -#include "mvc.h" -#include "mainInt.h" -#include "mioInt.h" +#include "main.h" +#include "mio.h" #include "mapper.h" #include "amap.h" @@ -276,7 +274,7 @@ int Mio_CommandReadLibrary( Abc_Frame_t * pAbc, int argc, char **argv ) fclose( pFile ); // set the new network - pLib = Mio_LibraryRead( pAbc, FileName, 0, fVerbose ); + pLib = Mio_LibraryRead( FileName, 0, fVerbose ); if ( pLib == NULL ) { fprintf( pErr, "Reading GENLIB library has failed.\n" ); |