From 71c08d4a3ae9763b8cc669aad0f9d53bbc5f95d2 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 19 Jul 2017 11:07:10 +0200
Subject: More small mistakes removed. It seems to work now.

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

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

diff --git a/instr-to-kodkod/src/VHDLModel.java b/instr-to-kodkod/src/VHDLModel.java
index ed448c4..7a9671e 100644
--- a/instr-to-kodkod/src/VHDLModel.java
+++ b/instr-to-kodkod/src/VHDLModel.java
@@ -291,7 +291,10 @@ public class VHDLModel
 
       for (final VHDLType t: types.values())
       {
-         result.addAll(t.get_all_members_as_atoms());
+         if (t.is_used())
+         {
+            result.addAll(t.get_all_members_as_atoms());
+         }
       }
 
       return result;
-- 
cgit v1.2.3-70-g09d2