use string type for writing to stdout

diff --git a/src/cnfvar.py b/src/cnfvar.py
index 58d078b..fe0e0a1 100644 (file)
--- a/src/cnfvar.py
+++ b/src/cnfvar.py
@@ -601,7 +601,7 @@ def output_cnf(root, out, renumber=False, bytes=True):
         _count = renumber(root)
     if is_cnf(cnf) is True:
         (_, lines) = functools.reduce(format_cnf_vars, cnf, (0, []))
-        if bytes is True:
+        if bytes is False:
             out.write ("\n".join (map (from_latin1, lines)))
             out.write ("\n")
         else:
@@ -636,7 +636,7 @@ def dump_cnf_string(root, renumber=False):
 
 def print_cnf(root, out=None, renumber=False):
     if root is not None:
-        output_cnf(root, out or sys.stdout, renumber=renumber)
+        output_cnf(root, out or sys.stdout, renumber=renumber, bytes=False)
 
 
 def write_cnf(*argv, **kw_argv):