From 76713b81f6a6fa575a33600d3216541efa3a09ac Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 2 Jul 2021 17:20:21 +0200 Subject: JetBrains Mono font --- .../viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'language-mwe2') 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 { patterns.put("start", "{token: \"lparen\", indent: true, regex: \"[[({]\"}"); patterns.put("start", "{token: \"rparen\", dedent: true, regex: \"[\\\\])}]\"}"); patterns.putAll("predicateBody", patterns.get("start")); - patterns.put("start", "{indent: true, push: \"predicateBody\", regex: \":-\"}"); + patterns.put("start", "{indent: true, push: \"predicateBody\", regex: \"<=>\"}"); patterns.put("predicateBody", "{dedent: true, dedentIfLineStart: false, pop: true, regex: \"\\\\.\\\\s*$\"}"); patterns.put("predicateBody", "{indent: true, dedent: true, regex: \"[;]\"}"); // We must repeat the keyword rule here, because Xtext only adds it to "main" later. -- cgit v1.2.3-70-g09d2