diff --git a/src/aig/saig/saigBmc2.c b/src/aig/saig/saigBmc2.c
index 40d3bc667..85045538a 100644
--- a/src/aig/saig/saigBmc2.c
+++ b/src/aig/saig/saigBmc2.c
@@ -824,7 +824,7 @@ int Saig_BmcPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, int nNodesMax
     }
     else // if ( RetValue == l_False || RetValue == l_Undef )
     {
-        printf( "No output was asserted in %d frames.  ", p->iFramePrev-1 );
+        printf( "No output was asserted in %d frames.  ", Abc_MaxInt(p->iFramePrev-1, 0) );
         if ( piFrames )
         {
             if ( p->iOutputLast > 0 )