From 992d0461d3ac7286a171fe729d57a29090ca5a10 Mon Sep 17 00:00:00 2001
From: kyessenov <unknown>
Date: Thu, 2 Sep 2010 23:09:36 +0000
Subject: VS 2010: add "spec" as keyword in Chalice

---
 Util/VS2010/Chalice/ChaliceLanguageService/Grammar.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Util')

diff --git a/Util/VS2010/Chalice/ChaliceLanguageService/Grammar.cs b/Util/VS2010/Chalice/ChaliceLanguageService/Grammar.cs
index 6bb276c2..a6371d71 100644
--- a/Util/VS2010/Chalice/ChaliceLanguageService/Grammar.cs
+++ b/Util/VS2010/Chalice/ChaliceLanguageService/Grammar.cs
@@ -28,7 +28,7 @@ namespace Demo
           "ite", "fold", "unfold", "unfolding", "in", "forall", "exists",
           "seq", "nil", "result", "eval", "token",
           "wait", "signal",
-          "refines", "transforms", "replaces", "by"
+          "refines", "transforms", "replaces", "by", "spec"
         };
 
         string[] delimiters = new string[] {
-- 
cgit v1.2.3