From ca2ea3fa3f1c9e89ff7502395f2207a4c9929fd5 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 14 Jan 2018 10:12:38 +0000
Subject: [PATCH] Removed constraint print... recursion

---
 smt/smt_checker_rsc_param.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/smt/smt_checker_rsc_param.py b/smt/smt_checker_rsc_param.py
index a71747f..1935e4a 100644
--- a/smt/smt_checker_rsc_param.py
+++ b/smt/smt_checker_rsc_param.py
@@ -709,7 +709,8 @@ class SmtCheckerRSCParam(object):
         if not isinstance(formulae_list, (list, tuple)):
             print_error("Expected a list of formulae")
         
-        print_info("Parameter constraint: {:s}".format(str(param_constr)))
+        #print_info("Parameter constraint: {:s}".format(str(param_constr)))
+        print_info("Parameter constraint defined")
 
 
         self.reset()
@@ -1006,4 +1007,4 @@ class SmtCheckerRSCParam(object):
                     break
 
 
-# EOF
\ No newline at end of file
+# EOF