More small mistakes removed. It seems to work now.

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;