From a62b2a1da87c05373242b0db0d6f99b99a92c77a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Thu, 13 Aug 2015 11:57:40 +0200
Subject: [PATCH] Fix single_generated_file writeback

measure_list containst ints. But method writelines can only be used with
strings.
---
 scripts/configurations.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/configurations.py b/scripts/configurations.py
index a9ede05..aef8a5f 100644
--- a/scripts/configurations.py
+++ b/scripts/configurations.py
@@ -173,7 +173,8 @@ def __generate_single__(var_num, conf_num):
 	tfile = __buildtempcnf__(var_num, (sf(conf.rules_file),
 		sf(conf.fixed_file)), (str(measure_list.pop())))
 	with open(sf(conf.single_generated_file), 'w') as fo:
-		fo.writelines(measure_list)
+		for ln in measure_list:
+			fo.write(str(ln) + '\n')
 	try:
 		confs = __exec_sat__(tfile, ['-i', '0'])
 		for con in confs:
-- 
2.39.2