From f026e6533987a1628be38cfe828f167d4aaff760 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 3 May 2020 19:09:02 -0700
Subject: Compiler warnings and errors.

---
 src/base/abci/abc.c      | 6 ++----
 src/base/abci/abcNtbdd.c | 2 +-
 2 files changed, 3 insertions(+), 5 deletions(-)

(limited to 'src/base')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 70ef45ca..9107af22 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -32841,7 +32841,6 @@ usage:
 ***********************************************************************/
 int Abc_CommandAbc9ReadSim( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
-    extern Vec_Wrd_t * Gia_ManSimPatRead( char * pFileName );
     int c, fOutputs = 0, nWords = 4, fVerbose = 0;
     char ** pArgvNew;
     int nArgcNew;
@@ -32893,7 +32892,7 @@ int Abc_CommandAbc9ReadSim( Abc_Frame_t * pAbc, int argc, char ** argv )
     if ( fOutputs )
     {
         Vec_WrdFreeP( &pAbc->pGia->vSimsPo );
-        pAbc->pGia->vSimsPo = Gia_ManSimPatRead( pArgvNew[0] );
+        pAbc->pGia->vSimsPo = Gia_ManSimPatRead( pArgvNew[0], NULL );
         if ( Vec_WrdSize(pAbc->pGia->vSimsPo) % Gia_ManCoNum(pAbc->pGia) != 0 )
         {
             Vec_WrdFreeP( &pAbc->pGia->vSimsPo );
@@ -32907,7 +32906,7 @@ int Abc_CommandAbc9ReadSim( Abc_Frame_t * pAbc, int argc, char ** argv )
     else
     {
         Vec_WrdFreeP( &pAbc->pGia->vSimsPi );
-        pAbc->pGia->vSimsPi = Gia_ManSimPatRead( pArgvNew[0] );
+        pAbc->pGia->vSimsPi = Gia_ManSimPatRead( pArgvNew[0], NULL );
         if ( Vec_WrdSize(pAbc->pGia->vSimsPi) % Gia_ManCiNum(pAbc->pGia) != 0 )
         {
             Vec_WrdFreeP( &pAbc->pGia->vSimsPi );
@@ -32944,7 +32943,6 @@ usage:
 ***********************************************************************/
 int Abc_CommandAbc9WriteSim( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
-    extern void Gia_ManSimPatWrite( char * pFileName, Vec_Wrd_t * vSimsIn, int nWords );
     int c, fOutputs = 0, fVerbose = 0;
     char ** pArgvNew;
     int nArgcNew;
diff --git a/src/base/abci/abcNtbdd.c b/src/base/abci/abcNtbdd.c
index d3a19d83..aa35aa6a 100644
--- a/src/base/abci/abcNtbdd.c
+++ b/src/base/abci/abcNtbdd.c
@@ -286,7 +286,7 @@ int Abc_NtkBddToMuxesPerformGlo( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkNew, int Limi
     // complement the global functions
     Abc_NtkForEachCo( pNtk, pObj, i )
     {
-        DdNode * bFunc = Abc_ObjGlobalBdd(pObj);
+        DdNode * bFunc = (DdNode *)Abc_ObjGlobalBdd(pObj);
         pObjNew = Abc_NodeBddToMuxes_rec( dd, Cudd_Regular(bFunc), pNtkNew, tBdd2Node );
         if ( Cudd_IsComplement(bFunc) )
             pObjNew = Abc_NtkCreateNodeInv( pNtkNew, pObjNew );
-- 
cgit v1.2.3