diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-06-04 16:48:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-06-04 16:48:06 -0700 |
| commit | 58e3a5caff7033200fce5136dd7e02eee87c4e8a (patch) | |
| tree | b6e6f74c9d8fa9f7280e0e4edc4a0b1ddd3d6b84 /src/base/abci | |
| parent | a3c6f33a87c3bbee5f0ebb61907d0416ae5bc661 (diff) | |
| download | abc-58e3a5caff7033200fce5136dd7e02eee87c4e8a.tar.gz abc-58e3a5caff7033200fce5136dd7e02eee87c4e8a.tar.bz2 abc-58e3a5caff7033200fce5136dd7e02eee87c4e8a.zip | |
Compiler error.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 411f66ed..52475b50 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -34788,8 +34788,8 @@ usage: ***********************************************************************/ int Abc_CommandAbc9Resub( Abc_Frame_t * pAbc, int argc, char ** argv ) { - extern Gia_Man_t * Gia_ManResub1( char * pFileName, int nNodes, int nSupp, int nDivs, int fVerbose, int fVeryVerbose ); - extern Gia_Man_t * Gia_ManResub2( Gia_Man_t * pGia, int nNodes, int nSupp, int nDivs, int fVerbose, int fVeryVerbose ); + extern Gia_Man_t * Gia_ManResub1( char * pFileName, int nNodes, int nSupp, int nDivs, int iChoice, int fUseXor, int fVerbose, int fVeryVerbose ); + extern Gia_Man_t * Gia_ManResub2( Gia_Man_t * pGia, int nNodes, int nSupp, int nDivs, int iChoice, int fUseXor, int fVerbose, int fVeryVerbose ); Gia_Man_t * pTemp; int nNodes = 0; int nSupp = 0; @@ -34848,7 +34848,7 @@ int Abc_CommandAbc9Resub( Abc_Frame_t * pAbc, int argc, char ** argv ) } if ( argc == globalUtilOptind + 1 ) { - pTemp = Gia_ManResub1( argv[globalUtilOptind], nNodes, nSupp, nDivs, fVerbose, fVeryVerbose ); + pTemp = Gia_ManResub1( argv[globalUtilOptind], nNodes, nSupp, nDivs, 0, 0, fVerbose, fVeryVerbose ); Abc_FrameUpdateGia( pAbc, pTemp ); return 0; } @@ -34857,7 +34857,7 @@ int Abc_CommandAbc9Resub( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Abc_CommandAbc9Resub(): There is no AIG.\n" ); return 1; } - pTemp = Gia_ManResub2( pAbc->pGia, nNodes, nSupp, nDivs, fVerbose, fVeryVerbose ); + pTemp = Gia_ManResub2( pAbc->pGia, nNodes, nSupp, nDivs, 0, 0, fVerbose, fVeryVerbose ); Abc_FrameUpdateGia( pAbc, pTemp ); return 0; |