From 3ee62e5d11b8516bda319e6e427e35dd4509f6b1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Wed, 12 Aug 2015 16:41:59 +0200 Subject: Fix problem with wrongly printed first line in CNF file --- scripts/configurations.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/configurations.py b/scripts/configurations.py index 2909578..e3a7d0b 100644 --- a/scripts/configurations.py +++ b/scripts/configurations.py @@ -206,8 +206,8 @@ def generate(): # Load variable count with open(sf(conf.variable_count_file)) as f: - var_num = f.readline() - conf_num = f.readline() + var_num = f.readline().rstrip() + conf_num = f.readline().rstrip() if __generate_single__(var_num, conf_num): return -- cgit v1.2.3