diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-11 22:29:37 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-11 22:29:37 -0700 |
commit | 9522aeea1977631692cfbf7e92af133ae212c2a0 (patch) | |
tree | 26c977f3be51a65216ec9f3c3cbf7fd1db9b6ab8 | |
parent | a02be725e91e60dbf79796ec64fa5b8a47d3cb8d (diff) | |
download | abc-9522aeea1977631692cfbf7e92af133ae212c2a0.tar.gz abc-9522aeea1977631692cfbf7e92af133ae212c2a0.tar.bz2 abc-9522aeea1977631692cfbf7e92af133ae212c2a0.zip |
Updates to Exorcism package
-rw-r--r-- | src/base/exor/exor.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/exor/exor.c b/src/base/exor/exor.c index 7322e4c8..ac861daa 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 ); } /////////////////////////////////////////////////////////////////////// |