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/StringManager.java | 11 -----------
 1 file changed, 11 deletions(-)

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

diff --git a/instr-to-kodkod/src/StringManager.java b/instr-to-kodkod/src/StringManager.java
index c0a2fa4..247d8e3 100644
--- a/instr-to-kodkod/src/StringManager.java
+++ b/instr-to-kodkod/src/StringManager.java
@@ -41,17 +41,6 @@ public class StringManager
 
          TO_ID.put(str, id);
       }
-      else
-      {
-         System.out.println
-         (
-            "[D] Using string \""
-            + str
-            + "\" (id: "
-            + id
-            + ")"
-         );
-      }
 
       return string_type.get_member_as_relation(id);
    }
-- 
cgit v1.2.3-70-g09d2