fix renumbering in cnfvar.py

diff --git a/src/cnfvar.py b/src/cnfvar.py
index 6428141..d62d6cf 100644 (file)
--- 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: