diff --git a/src/bool/rsb/rsbDec6.c b/src/bool/rsb/rsbDec6.c
index 90f889381..a0e066fc9 100644
--- a/src/bool/rsb/rsbDec6.c
+++ b/src/bool/rsb/rsbDec6.c
@@ -637,10 +637,6 @@ if ( fVerbose )
 Rsb_DecPrintTable( pCexes, nGs, nGsAll, vTries );
 if ( fVerbose )
 Vec_IntFree( vTries );
-    if ( fVerbose && Vec_IntSize(p->vFaninsOld) && Vec_IntSize(p->vFaninsOld) <= 4 && Vec_IntSize(p->vFaninsOld) > Vec_IntSize(p->vFanins) )
-    {
-        int s = 0;
-    }
     return uTruth;
 }
 
diff --git a/src/opt/dau/dauTree.c b/src/opt/dau/dauTree.c
index 3e465632b..dd62642b9 100644
--- a/src/opt/dau/dauTree.c
+++ b/src/opt/dau/dauTree.c
@@ -1693,7 +1693,7 @@ Dss_Ent_t * Dss_ManSharedMapDerive( Dss_Man_t * p, int iDsd0, int iDsd1, Vec_Str
 int Mpm_FuncCompute( Dss_Man_t * p, int iDsd0, int iDsd1, Vec_Str_t * vShared, int * pPerm, int * pnLeaves )
 {
     int fVerbose = 0;
-    int fCheck = 0;
+//    int fCheck = 0;
     Dss_Ent_t * pEnt, ** ppSpot;
     Dss_Fun_t * pFun;
     int iDsd[2] = { iDsd0, iDsd1 };