diff options
| author |  Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-16 14:25:58 +0200 |
|---|---|---|
| committer | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-16 14:25:58 +0200 |
| commit | f877aa3ee16efb5209edc8794934c37ae067954c (patch) | |
| tree | b953ad7d3d1c9715380c7e66735948f0725b5c98 /Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs | |
| parent | b13941f65117bb3d8741f26b0f9d76dc976fe419 (diff) | |
Added the new keyword (calc) to Util
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs')
| -rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs index 5853f180..19f98ff7 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs +++ b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs @@ -231,6 +231,7 @@ namespace DafnyLanguage case "assume":
case "bool":
case "break":
+ case "calc":
case "case":
case "choose":
case "class":
|