diff --git a/syntaxes/classicalb.tmLanguage.json b/syntaxes/classicalb.tmLanguage.json index d8d49cab5c9e9a6cf305e556a8e86aaf4be30e4d..ba45726c3abbb92e2e0a0e96ae9b8d2cce670829 100644 --- a/syntaxes/classicalb.tmLanguage.json +++ b/syntaxes/classicalb.tmLanguage.json @@ -167,13 +167,9 @@ "name": "keyword.operator.tree.classicalb" }, { - "match": "\\b(mod|succ|pred|ceiling|real|floor)\\b", + "match": "\\b(mod|succ|pred|ceiling|real|floorreal)\\b", "name": "keyword.operator.numeric.classicalb" }, - { - "match": "\\b(REAL)\\b", - "name": "keyword.operator.numeric.operator.classicalb" - }, { "match": "\\b(rec|struct)\\b", "name": "keyword.operator.record.classicalb" @@ -258,7 +254,7 @@ "name": "constant.language.boolean.classicalb" }, { - "match": "\\b(BOOL|STRING|INT(EGER)?|NAT(URAL)?(1)?|MININT|MAXINT)\\b", + "match": "\\b(BOOL|STRING|INT(EGER)?|NAT(URAL)?(1)?|MININT|MAXINT|REAL)\\b", "name": "constant.other.sets.classicalb" } ]