From 1ec437d04b2fcb42054f068525c2a1b21b69fe53 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 27 Mar 2011 11:52:56 -0700
Subject: C++ compilation fixes.

---
 src/base/abci/abc.c        | 4 ++--
 src/base/abci/abcCascade.c | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/base')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 2b0b0684..8443ef83 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -8686,7 +8686,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
     }
 */
 
-
+/*
     if ( Abc_NtkIsStrash(pNtk) )
     {
         extern Abc_Ntk_t * Au_ManTransformTest( Abc_Ntk_t * pAig );
@@ -8704,7 +8704,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
     }
     // replace the current network
     Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes );
-
+*/
 
 
 {
diff --git a/src/base/abci/abcCascade.c b/src/base/abci/abcCascade.c
index 177c806e..533321c5 100644
--- a/src/base/abci/abcCascade.c
+++ b/src/base/abci/abcCascade.c
@@ -969,7 +969,7 @@ Abc_Ntk_t * Abc_NtkCreateFromCharFunc( Abc_Ntk_t * pNtk, DdManager * dd, DdNode
         Abc_ObjAssignName( pNode->pCopy, Abc_ObjName(pNode), NULL );
     }
     // transfer BDD
-    pNodeNew->pData = Extra_TransferLevelByLevel( dd, (DdManager *)pNtkNew->pManFunc, bFunc ); Cudd_Ref( pNodeNew->pData );
+    pNodeNew->pData = Extra_TransferLevelByLevel( dd, (DdManager *)pNtkNew->pManFunc, bFunc ); Cudd_Ref( (DdNode *)pNodeNew->pData );
     // transfer BDD into to be the local function
     pNodePo = Abc_NtkCreatePo( pNtkNew );
     Abc_ObjAddFanin( pNodePo, pNodeNew );
-- 
cgit v1.2.3