3 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/int/intCheck.c b/src/aig/int/intCheck.c
index 564813f4..54bb7ad9 100644
--- a/src/aig/int/intCheck.c
+++ b/src/aig/int/intCheck.c
@@ -84,7 +84,7 @@ Aig_Man_t * Inter_ManUnrollFrames( Aig_Man_t * pAig, int nFrames )
         Saig_ManForEachLiLo(  pAig, pObjLi, pObjLo, i )
         {
             pObjLo->pData = pObjLi->pData;
-            Aig_ObjCreatePo( pFrames, pObjLo->pData );
+            Aig_ObjCreatePo( pFrames, (Aig_Obj_t *)pObjLo->pData );
         }
     }
     Aig_ManCleanup( pFrames );
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 );