From 0ccc7f57bee2867f05a2926a305977003dd15d1b Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 19 Jul 2017 10:58:26 +0200
Subject: Adds messages to follow the framework's flow.

---
 instr-to-kodkod/src/VHDLType.java | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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

diff --git a/instr-to-kodkod/src/VHDLType.java b/instr-to-kodkod/src/VHDLType.java
index 73cd9cf..58b0d1e 100644
--- a/instr-to-kodkod/src/VHDLType.java
+++ b/instr-to-kodkod/src/VHDLType.java
@@ -35,7 +35,12 @@ public class VHDLType
 
    public void flag_as_used ()
    {
-      is_used = true;
+      if (!is_used)
+      {
+         System.out.println("Enabling type: " + name);
+
+         is_used = true;
+      }
    }
 
    public boolean is_used ()
-- 
cgit v1.2.3-70-g09d2