| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instr-to-kodkod/src/QuickParser.java')
| -rw-r--r-- | instr-to-kodkod/src/QuickParser.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/instr-to-kodkod/src/QuickParser.java b/instr-to-kodkod/src/QuickParser.java index 47cea27..7a63c43 100644 --- a/instr-to-kodkod/src/QuickParser.java +++ b/instr-to-kodkod/src/QuickParser.java @@ -10,7 +10,11 @@ public class QuickParser static { - instr_pattern = Pattern.compile("\\((?<list>[a-z_0-9 \"]+)\\)"); + instr_pattern = + Pattern.compile + ( + "\\(([a-z_0-9\\->]+ .*)\\)" + ); } public QuickParser (final String filename) throws FileNotFoundException |