tools/Display/verbosity.hpp

   1 /** @file verbosity.hpp
   2     @package snark14Display
   3     @author Bruno M. Carvalho and Deniz Sarioz
   4     licensed under (open-source) QPL v1.0
   5     which accompanies this distribution in the file QPL
   6 */
   7
   8 #ifndef _VERBOSITY_DEFINED
   9 #define _VERBOSITY_DEFINED
  10 namespace std {
  11   static const int verbose = 0;
  12 }
  13 #endif