| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 11:07:10 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 11:07:10 +0200 |
| commit | 71c08d4a3ae9763b8cc669aad0f9d53bbc5f95d2 (patch) | |
| tree | 6eacee76a7860f87b9d80c924954257c2fc657b9 /instr-to-kodkod/src/Parameters.java | |
| parent | 0ccc7f57bee2867f05a2926a305977003dd15d1b (diff) | |
More small mistakes removed. It seems to work now.
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")) { |