4 files changed, 3 insertions, 4 deletions
diff --git a/src/opt/cut/abcCut.c b/src/opt/cut/abcCut.c
index 3b70e9c1..9bbd5790 100644
--- a/src/opt/cut/abcCut.c
+++ b/src/opt/cut/abcCut.c
@@ -20,7 +20,6 @@
 
 #include "abc.h"
 #include "cut.h"
-#include "seqInt.h"
 
 ////////////////////////////////////////////////////////////////////////
 ///                        DECLARATIONS                              ///
diff --git a/src/opt/cut/cutMan.c b/src/opt/cut/cutMan.c
index ca829471..8593ef93 100644
--- a/src/opt/cut/cutMan.c
+++ b/src/opt/cut/cutMan.c
@@ -145,7 +145,7 @@ void Cut_ManStop( Cut_Man_t * p )
     if ( p->vCutPairs )   Vec_IntFree( p->vCutPairs );
     if ( p->puTemp[0] )   free( p->puTemp[0] );
 
-    Extra_MmFixedStop( p->pMmCuts, 0 );
+    Extra_MmFixedStop( p->pMmCuts );
     free( p );
 }
 
diff --git a/src/opt/cut/cutOracle.c b/src/opt/cut/cutOracle.c
index 8e1ad3da..3eb4462b 100644
--- a/src/opt/cut/cutOracle.c
+++ b/src/opt/cut/cutOracle.c
@@ -148,7 +148,7 @@ void Cut_OracleStop( Cut_Oracle_t * p )
     if ( p->vNodeStarts ) Vec_IntFree( p->vNodeStarts );
     if ( p->vCutPairs )   Vec_IntFree( p->vCutPairs );
 
-    Extra_MmFixedStop( p->pMmCuts, 0 );
+    Extra_MmFixedStop( p->pMmCuts );
     free( p ); 
 }
 
diff --git a/src/opt/cut/cutPre22.c b/src/opt/cut/cutPre22.c
index 20c93c5f..5cb87a9c 100644
--- a/src/opt/cut/cutPre22.c
+++ b/src/opt/cut/cutPre22.c
@@ -798,7 +798,7 @@ Cut_CMan_t * Cut_CManStart()
 void Cut_CManStop( Cut_CMan_t * p )
 {
     st_free_table( p->tTable );
-    Extra_MmFixedStop( p->pMem, 0 );
+    Extra_MmFixedStop( p->pMem );
     free( p );
 }
 /**Function*************************************************************