From: Philipp Gesang <philipp.gesang@intra2net.com>
Date: Tue, 5 Dec 2017 10:02:18 +0000 (+0100)
Subject: fix renumbering in cnfvar.py
X-Git-Tag: v1.4~18^2~11
X-Git-Url: http://developer.intra2net.com/git/?a=commitdiff_plain;h=fb356a82a7d76f104ff1cb680832f749dcba042a;p=pyi2ncommon

fix renumbering in cnfvar.py
---

diff --git a/src/cnfvar.py b/src/cnfvar.py
index 6428141..d62d6cf 100644
--- a/src/cnfvar.py
+++ b/src/cnfvar.py
@@ -618,7 +618,7 @@ def output_cnf(root, out, renumber=False, bytes=True):
     # if not isinstance(out, file):
     #     raise TypeError("%s (%s) is not a stream." % (out, type(out)))
     if renumber is True:
-        _count = renumber(root)
+        _count = renumber_vars(root)
     if is_cnf(cnf) is True:
         (_, lines) = functools.reduce(format_cnf_vars, cnf, (0, []))
         if bytes is False: