From 05fbf26dbb1b1f19e3ef76a0d0789806fa7be12c Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 31 Jul 2017 14:28:50 +0200
Subject: Adds a verbosity parameter.

---
 instr-to-kodkod/src/VHDLPredicate.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'instr-to-kodkod/src/VHDLPredicate.java')

diff --git a/instr-to-kodkod/src/VHDLPredicate.java b/instr-to-kodkod/src/VHDLPredicate.java
index 821a044..1b4d16d 100644
--- a/instr-to-kodkod/src/VHDLPredicate.java
+++ b/instr-to-kodkod/src/VHDLPredicate.java
@@ -71,7 +71,10 @@ public class VHDLPredicate
 
          is_used = true;
 
-         System.out.println("Enabling predicate: " + name);
+         if (Main.get_parameters().be_verbose())
+         {
+            System.out.println("Enabling predicate: " + name);
+         }
       }
 
       return as_relation;
-- 
cgit v1.2.3-70-g09d2