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