diff --git a/src/sat/bmc/bmcBmcAnd.c b/src/sat/bmc/bmcBmcAnd.c
index 1b2e32408..e1869404e 100644
--- a/src/sat/bmc/bmcBmcAnd.c
+++ b/src/sat/bmc/bmcBmcAnd.c
@@ -1081,6 +1081,8 @@ int Gia_ManBmcPerform( Gia_Man_t * pGia, Bmc_AndPar_t * pPars )
             if ( pPars->nTimeOut <= 0 )
                 return -1;
         }
+        else
+            return -1;
         // set the new frames limit
         pPars->nFramesAdd *= 2;
     }