diff options
Diffstat (limited to 'language-mwe2/src/main/java/org/eclipse/viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java')
-rw-r--r-- | language-mwe2/src/main/java/org/eclipse/viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language-mwe2/src/main/java/org/eclipse/viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java b/language-mwe2/src/main/java/org/eclipse/viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java index b5036b1e..83b56bc6 100644 --- a/language-mwe2/src/main/java/org/eclipse/viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java +++ b/language-mwe2/src/main/java/org/eclipse/viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java | |||
@@ -49,7 +49,7 @@ public class ProblemWebIntegrationFragment extends WebIntegrationFragment { | |||
49 | patterns.put("start", "{token: \"lparen\", indent: true, regex: \"[[({]\"}"); | 49 | patterns.put("start", "{token: \"lparen\", indent: true, regex: \"[[({]\"}"); |
50 | patterns.put("start", "{token: \"rparen\", dedent: true, regex: \"[\\\\])}]\"}"); | 50 | patterns.put("start", "{token: \"rparen\", dedent: true, regex: \"[\\\\])}]\"}"); |
51 | patterns.putAll("predicateBody", patterns.get("start")); | 51 | patterns.putAll("predicateBody", patterns.get("start")); |
52 | patterns.put("start", "{indent: true, push: \"predicateBody\", regex: \":-\"}"); | 52 | patterns.put("start", "{indent: true, push: \"predicateBody\", regex: \"<=>\"}"); |
53 | patterns.put("predicateBody", "{dedent: true, dedentIfLineStart: false, pop: true, regex: \"\\\\.\\\\s*$\"}"); | 53 | patterns.put("predicateBody", "{dedent: true, dedentIfLineStart: false, pop: true, regex: \"\\\\.\\\\s*$\"}"); |
54 | patterns.put("predicateBody", "{indent: true, dedent: true, regex: \"[;]\"}"); | 54 | patterns.put("predicateBody", "{indent: true, dedent: true, regex: \"[;]\"}"); |
55 | // We must repeat the keyword rule here, because Xtext only adds it to "main" later. | 55 | // We must repeat the keyword rule here, because Xtext only adds it to "main" later. |