chiark / gitweb /
Revert "helixish: try three paths"
[moebius3.git] / gensymbolic
index e0f08ee4a5dca4788780d9396aa87e4e91d9c3e7..6506777536886e323eb316da02f7c5c33f2607c5 100755 (executable)
@@ -6,7 +6,7 @@ from optparse import OptionParser
 import sympy
 
 import symbolic
-from moedebug import dbg_enable, 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_enable = not options.quiet
-if dbg_enable:
+if not options.quiet: dbg_file(sys.stdout)
+if dbg_enabled():
   sympy.init_printing(use_unicode=(not options.ascii),
                       num_columns=options.width)