diff --git a/src/base/exor/exor.c b/src/base/exor/exor.c
index 7322e4c89..ac861daa2 100644
--- a/src/base/exor/exor.c
+++ b/src/base/exor/exor.c
@@ -772,7 +772,7 @@ int Exorcism( Vec_Wec_t * vEsop, int nIns, int nOuts, char * pFileNameOut )
         sprintf( Buffer, "%s", pFileNameOut ? pFileNameOut : "temp.esop" );
         WriteResultIntoFile( Buffer );
         //if ( g_CoverInfo.Verbosity )
-        printf( "Minimum cover has been written into file <%s>\n", Buffer );
+        printf( "Minimized cover has been written into file <%s>\n", Buffer );
     }
 
     ///////////////////////////////////////////////////////////////////////