From fb356a82a7d76f104ff1cb680832f749dcba042a Mon Sep 17 00:00:00 2001
From: Philipp Gesang <philipp.gesang@intra2net.com>
Date: Tue, 5 Dec 2017 11:02:18 +0100
Subject: [PATCH] fix renumbering in cnfvar.py

---
 src/cnfvar.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

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:
-- 
1.7.1