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/VHDLPredicate.java | 2 ++
 1 file changed, 2 insertions(+)

(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 210dd7e..3605e76 100644
--- a/instr-to-kodkod/src/VHDLPredicate.java
+++ b/instr-to-kodkod/src/VHDLPredicate.java
@@ -58,6 +58,8 @@ public class VHDLPredicate
          }
 
          is_used = true;
+
+         System.out.println("Enabling predicate: " + name);
       }
 
       return as_relation;
-- 
cgit v1.2.3-70-g09d2