| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instr-to-kodkod/src')
| -rw-r--r-- | instr-to-kodkod/src/StringManager.java | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/instr-to-kodkod/src/StringManager.java b/instr-to-kodkod/src/StringManager.java index 41969a9..3e31d47 100644 --- a/instr-to-kodkod/src/StringManager.java +++ b/instr-to-kodkod/src/StringManager.java @@ -57,9 +57,10 @@ public class StringManager public Relation get_regex_as_relation ( - final String str + String str ) { + str = str.toLowerCase(); regexes.add(Pattern.compile(str.substring(1, (str.length() - 1)))); return get_string_as_relation(str); @@ -101,8 +102,7 @@ public class StringManager } ); } - /* - else + else if (Main.get_parameters().be_verbose()) { System.out.println ( @@ -113,7 +113,6 @@ public class StringManager + "\"." ); } - */ } } } |