From 64ff2853f2e06fd67dc1f73bb913e53c2db97f51 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Wed, 12 Aug 2015 16:25:13 +0200 Subject: Remove debud output of generated configuration --- scripts/configurations.py | 1 - 1 file changed, 1 deletion(-) (limited to 'scripts') diff --git a/scripts/configurations.py b/scripts/configurations.py index 35eaa37..e43087e 100644 --- a/scripts/configurations.py +++ b/scripts/configurations.py @@ -180,7 +180,6 @@ def __generate_single__(var_num, conf_num): fo.write(str(ln) + '\n') try: confs = __exec_sat__(tfile, ['-i', '0']) - print(confs) for con in confs: __register_conf__(con, conf_num, 'single-sat') except exceptions.NoSolution: -- cgit v1.2.3