From ce9ef23cb6f9939d005ea536204e2d25f1aae595 Mon Sep 17 00:00:00 2001
From: Plamen Dimitrov <pdimitrov@pevogam.com>
Date: Fri, 25 Jan 2019 19:31:40 +0200
Subject: [PATCH] Fix cnfvar case of writing bytes from the io module

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

diff --git a/src/cnfvar.py b/src/cnfvar.py
index a05fe0e..5999ba6 100644
--- a/src/cnfvar.py
+++ b/src/cnfvar.py
@@ -749,7 +749,7 @@ def dump_cnf_string(root, renumber=False):
     string.
     """
     cnf = cnf_root(root)
-    out = io.StringIO()
+    out = io.BytesIO()
     output_cnf(root, out, renumber=renumber, bytes=False)
     res = out.getvalue()
     out.close()
-- 
1.7.1