From 303a971fefa1a15cb0cebc65274b118bf62ae889 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(-) (limited to 'scripts') diff --git a/scripts/configurations.py b/scripts/configurations.py index e43087e..7a4a071 100644 --- a/scripts/configurations.py +++ b/scripts/configurations.py @@ -211,8 +211,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