X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=gensymbolic;h=6506777536886e323eb316da02f7c5c33f2607c5;hb=c1001cc933c7a48935777908ba8338673cd091dc;hp=0ab8269e419931b8111c83a46a19f1cecf414182;hpb=d2e31fe33c5e0bb9516ca5e6f0be44e8644e36f3;p=moebius3.git

diff --git a/gensymbolic b/gensymbolic
index 0ab8269..6506777 100755
--- a/gensymbolic
+++ b/gensymbolic
@@ -6,7 +6,7 @@ from optparse import OptionParser
 import sympy
 
 import symbolic
-from moedebug import dbg_file, dbg
+from moedebug import *
 
 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_file = None if options.quiet else sys.stdout
-if dbg_file:
+if not options.quiet: dbg_file(sys.stdout)
+if dbg_enabled():
   sympy.init_printing(use_unicode=(not options.ascii),
                       num_columns=options.width)