Compiler error.

58e3a5ca · Alan Mishchenko · a3c6f33a · 58e3a5ca
Commit 58e3a5ca authored Jun 04, 2020 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 4 deletions

src/base/abci/abc.c src/base/abci/abc.c +4 -4

No files found.
--- 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;