| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-22 21:05:57 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-22 21:05:57 +0200 |
| commit | 2b3f20d89c7d500842869d3316bee9c7457ba6d4 (patch) | |
| tree | b0429993666b252748e4c22bc230a5beaea1c3c6 /cfg-to-paths/src/Parameters.java | |
| parent | d05bd3592050a9496dd87bcd8a49f8fdc8b6b58d (diff) | |
Adds the "is_terminal" predicate.
Diffstat (limited to 'cfg-to-paths/src/Parameters.java')
| -rw-r--r-- | cfg-to-paths/src/Parameters.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cfg-to-paths/src/Parameters.java b/cfg-to-paths/src/Parameters.java index 710b1f7..91303d2 100644 --- a/cfg-to-paths/src/Parameters.java +++ b/cfg-to-paths/src/Parameters.java @@ -22,7 +22,7 @@ public class Parameters ); } - public Parameters (String... args) + public Parameters (final String... args) { if (args.length != 4) { |