From 9522aeea1977631692cfbf7e92af133ae212c2a0 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 11 Apr 2016 22:29:37 -0700
Subject: [PATCH] Updates to Exorcism package

---
 src/base/exor/exor.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 );
     }
 
     ///////////////////////////////////////////////////////////////////////