From 2b3f20d89c7d500842869d3316bee9c7457ba6d4 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Sat, 22 Jul 2017 21:05:57 +0200 Subject: Adds the "is_terminal" predicate. --- cfg-to-paths/src/Parameters.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cfg-to-paths/src/Parameters.java') 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) { -- cgit v1.2.3-70-g09d2