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/Parameters.java | 4 ++--
 instr-to-kodkod/src/VHDLModel.java  | 5 ++++-
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/instr-to-kodkod/src/Parameters.java b/instr-to-kodkod/src/Parameters.java
index 68a6bd1..81c9dba 100644
--- a/instr-to-kodkod/src/Parameters.java
+++ b/instr-to-kodkod/src/Parameters.java
@@ -52,10 +52,10 @@ public class Parameters
       has_pro_file = false;
       has_error = false;
 
-      var_prefix = args[1];
+      var_prefix = args[0];
       prop_file = new String();
 
-      for (int i = 2; i < args.length; ++i)
+      for (int i = 1; i < args.length; ++i)
       {
          if (args[i].endsWith(".lvl"))
          {
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