From 82a2ca3c963e47611d1ba55f6938e7665488fc5a Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 28 Jun 2021 17:16:56 +0200 Subject: Fix real literals --- .../viatra/solver/language/mwe2/ProblemWebIntegrationFragment.java | 2 -- 1 file changed, 2 deletions(-) (limited to 'language-mwe2/src/main/java/org/eclipse/viatra') 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 18e13245..b5036b1e 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 @@ -9,8 +9,6 @@ import com.google.common.collect.Multimap; public class ProblemWebIntegrationFragment extends WebIntegrationFragment { public ProblemWebIntegrationFragment() { setFramework(Framework.CODEMIRROR.name()); - // The exponential operators e and E are not keywords - setKeywordsFilter("[^eE]|\\w\\w+"); // We use our custom token style for single-quoted names addSuppressPattern("string_singleQuote"); // Use the CodeMirror default .cm-number instead of .cm-constant.cm-numeric -- cgit v1.2.3-70-g09d2