| summaryrefslogtreecommitdiff | 
diff options
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)        { | 


