From b6f84e0ca682c13f4009170047f27fee19115ed2 Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Fri, 1 Dec 2017 16:14:56 +0100 Subject: [PATCH] use string type for writing to stdout --- src/cnfvar.py | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/cnfvar.py b/src/cnfvar.py index 58d078b..fe0e0a1 100644 --- 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): -- 1.7.1