Electric semicolons

1 files changed, 2 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 7cc736bc..c8a2c58c 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
@@ -51,9 +51,10 @@ public class ProblemWebIntegrationFragment extends WebIntegrationFragment {
                 patterns.putAll("predicateBody", patterns.get("start"));
                 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.
                 patterns.put("predicateBody", "{token: \"keyword\", regex: \"\\\\b(?:\" + keywords + \")\\\\b\"}");
-                patterns.put("meta", "electricChars: \"])]\"");
+                patterns.put("meta", "electricChars: \"])];\"");
                 return patterns;
         }
 }