diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-28 16:12:27 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-28 16:12:27 -0700 |
| commit | d3a315961bf6a7b83225f6311dcf40b0dbba6463 (patch) | |
| tree | b5379d0088109450d51e962a9e2d5e70c7400c41 /Util/VS2010 | |
| parent | a9c6c8fcf205a13c759c6f09e69b01d3b144df94 (diff) | |
Boogie: updated syntax highlighting ("real")
Diffstat (limited to 'Util/VS2010')
| -rw-r--r-- | Util/VS2010/Boogie/BoogieLanguageService/Grammar.cs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/Util/VS2010/Boogie/BoogieLanguageService/Grammar.cs b/Util/VS2010/Boogie/BoogieLanguageService/Grammar.cs index 4e38f654..fd7c561d 100644 --- a/Util/VS2010/Boogie/BoogieLanguageService/Grammar.cs +++ b/Util/VS2010/Boogie/BoogieLanguageService/Grammar.cs @@ -33,8 +33,7 @@ namespace Demo "mod", "modifies",
"old",
"procedure",
- "requires",
- "return", "returns",
+ "real", "requires", "return", "returns",
"then", "true", "type",
"unique",
"var",
@@ -271,8 +270,7 @@ namespace Demo "modifies" |
"old" |
"procedure" |
- "requires" |
- "return" | "returns" |
+ "real" | "requires" | "return" | "returns" |
"then" | "true" | "type" |
"unique" |
"var" |
@@ -323,7 +321,7 @@ namespace Demo ;
typeDecl.Rule
- = (ToTerm("int") | "bool" | ident)
+ = (ToTerm("int") | "bool" | "real" | ident)
;
fieldDecl.Rule
|