introduce dbg_file

[moebius3.git] / gensymbolic

diff --git a/gensymbolic b/gensymbolic
index e0f08ee4a5dca4788780d9396aa87e4e91d9c3e7..0ab8269e419931b8111c83a46a19f1cecf414182 100755 (executable)
--- a/gensymbolic
+++ b/gensymbolic
@@ -6,7 +6,7 @@ from optparse import OptionParser
 import sympy
 
 import symbolic
-from moedebug import dbg_enable, dbg
+from moedebug import dbg_file, dbg
 
 opt_parser = OptionParser()
 opt_parser.add_option('-q',dest='quiet',action='store_true',
@@ -21,8 +21,8 @@ assert(not len(args))
 if (not options.ascii) and sys.stdout.encoding is None:
   sys.stdout = codecs.open("/dev/stdout", "w", 'utf-8')
 
-dbg_enable = not options.quiet
-if dbg_enable:
+dbg_file = None if options.quiet else sys.stdout
+if dbg_file:
   sympy.init_printing(use_unicode=(not options.ascii),
                       num_columns=options.width)