| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instr-to-kodkod/src/Parameters.java')
| -rw-r--r-- | instr-to-kodkod/src/Parameters.java | 4 |
1 files changed, 2 insertions, 2 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")) { |