| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-03 11:10:55 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-03 11:10:55 +0200 |
| commit | c5a23ef9d6ab1e89b85016831fc8b2431f68f87f (patch) | |
| tree | fc83310559ffe00ea78f09b277fc7b2e93237947 /sol_pretty_printer/src/QuickParser.java | |
| parent | 69d904f3b2de5b914bc329af1729584f10644bf2 (diff) | |
Finishes the sol_pretty_printer, 'xcept Makefile.
Diffstat (limited to 'sol_pretty_printer/src/QuickParser.java')
| -rw-r--r-- | sol_pretty_printer/src/QuickParser.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sol_pretty_printer/src/QuickParser.java b/sol_pretty_printer/src/QuickParser.java index 47cea27..19d29e7 100644 --- a/sol_pretty_printer/src/QuickParser.java +++ b/sol_pretty_printer/src/QuickParser.java @@ -10,7 +10,7 @@ public class QuickParser static { - instr_pattern = Pattern.compile("\\((?<list>[a-z_0-9 \"]+)\\)"); + instr_pattern = Pattern.compile("\\((?<list>[^)]+)\\)"); } public QuickParser (final String filename) throws FileNotFoundException |