diff options
author | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-16 18:32:42 +0200 |
---|---|---|
committer | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-16 18:32:42 +0200 |
commit | 0d1786d82952aa6381bac1b5d8aa3d0c6acc7f5a (patch) | |
tree | d7b71b92130e8fa797708eac007c2dedffd8aa37 /src/base/exor | |
parent | b83c6aaf97bcb2782dd8167c5bc343e887ef0aea (diff) | |
download | abc-0d1786d82952aa6381bac1b5d8aa3d0c6acc7f5a.tar.gz abc-0d1786d82952aa6381bac1b5d8aa3d0c6acc7f5a.tar.bz2 abc-0d1786d82952aa6381bac1b5d8aa3d0c6acc7f5a.zip |
Don't output if not verbose.
Diffstat (limited to 'src/base/exor')
-rw-r--r-- | src/base/exor/exor.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/exor/exor.c b/src/base/exor/exor.c index db93d034..e800744c 100644 --- a/src/base/exor/exor.c +++ b/src/base/exor/exor.c @@ -825,8 +825,8 @@ int Exorcism( Vec_Wec_t * vEsop, int nIns, int nOuts, char * pFileNameOut ) char Buffer[1000]; sprintf( Buffer, "%s", pFileNameOut ? pFileNameOut : "temp.esop" ); WriteResultIntoFile( Buffer ); - //if ( g_CoverInfo.Verbosity ) - printf( "Minimized cover has been written into file <%s>\n", Buffer ); + if ( g_CoverInfo.Verbosity ) + printf( "Minimized cover has been written into file <%s>\n", Buffer ); } /////////////////////////////////////////////////////////////////////// |