diff --git a/src/aig/saig/saigAbsCba.c b/src/aig/saig/saigAbsCba.c
index 022c298b0..4873eb64b 100644
--- a/src/aig/saig/saigAbsCba.c
+++ b/src/aig/saig/saigAbsCba.c
@@ -763,9 +763,9 @@ Abc_CexPrintStats( pCare );
 }
     // verify the reduced counter-example using ternary simulation
     if ( !Saig_ManCexVerifyUsingTernary( pAig, pCex, pCare ) )
-        printf( "Saig_ManCbaFindCexCareBits(): Counter-example verification has failed!!!\n" );
+        printf( "Saig_ManCbaFindCexCareBits(): Minimized counter-example verification has failed!!!\n" );
     else if ( fVerbose )
-        printf( "Saig_ManCbaFindCexCareBits(): Counter-example verification is successful.\n" );
+        printf( "Saig_ManCbaFindCexCareBits(): Minimized counter-example verification is successful.\n" );
     Aig_ManCleanMarkAB( pAig );
     return pCare;
 }