From bc8e275546e2e6fe6bcf19ce42c0fab07eecdf4c Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Mon, 31 Jul 2017 17:04:51 +0200 Subject: Fixes typo with functions, errors in grammar. Looking for the groups matching CNE_01700 appears to take a really long time. The formula is quite complex, yet unlikely to be one of the most complex ones, so we'll have to see what can be done. --- instr-to-kodkod/src/Parameters.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'instr-to-kodkod/src') diff --git a/instr-to-kodkod/src/Parameters.java b/instr-to-kodkod/src/Parameters.java index 7c80474..c6383bd 100644 --- a/instr-to-kodkod/src/Parameters.java +++ b/instr-to-kodkod/src/Parameters.java @@ -140,7 +140,7 @@ public class Parameters prop_file = args[i]; } } - else if (output_file.equals("-v") || output_file.equals("--verbose")) + else if (args[i].equals("-v") || args[i].equals("--verbose")) { should_be_verbose = true; } -- cgit v1.2.3-70-g09d2