fix(frontend): * operator highlighting

Only highlight the * character as a number when it is not used as a
multiplication operator.

2 files changed, 6 insertions, 4 deletions

diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar
index 829dc138..7949f90c 100644
--- a/subprojects/frontend/src/language/problem.grammar
+++ b/subprojects/frontend/src/language/problem.grammar
@@ -119,7 +119,7 @@ BinaryExpr {
   Expr !comparison ComparisonOp Expr |
   Expr !lattice (LatticeMeet | "\\/") Expr |
   Expr !additive ("+" | "-") Expr |
-  Expr !multiplicative (StarMult | Divide) Expr |
+  Expr !multiplicative (Star | Divide) Expr |
   Expr !exponential "**" Expr |
   Expr !range ".." Expr
 }
@@ -184,6 +184,8 @@ AggregatorName { QualifiedName }
 
 QualifiedName[implicitCompletion=true] { "::"? identifier (QualifiedNameSeparator "::" identifier)* }
 
+StarMult { Star }
+
 kw<term> { @specialize[@name={term},implicitCompletion=true]<identifier, term> }
 
 ckw<term> { @extend[@name={term},implicitCompletion=true]<identifier, term> }
@@ -223,7 +225,7 @@ sep1<separator, content> { content (separator content)* }
 
   IntMult { int }
 
-  StarMult { "*" }
+  Star { "*" }
 
   Real { (exponential | int ("." (int | exponential))?) }
 
diff --git a/subprojects/frontend/src/language/problemLanguageSupport.ts b/subprojects/frontend/src/language/problemLanguageSupport.ts
index 594351d6..dd5d6347 100644
--- a/subprojects/frontend/src/language/problemLanguageSupport.ts
+++ b/subprojects/frontend/src/language/problemLanguageSupport.ts
@@ -39,8 +39,8 @@ const parserWithMetadata = parser.configure({
       UnknownOp: t.operator,
       OrOp: t.separator,
       StarArgument: t.keyword,
-      'IntMult StarMult Real': t.number,
-      StarMult: t.number,
+      'IntMult Real': t.number,
+      'StarMult/Star': t.number,
       String: t.string,
       'RelationName/QualifiedName': t.typeName,
       'DatatypeName/QualifiedName': t.keyword,