diff options
Diffstat (limited to 'Chalice/src/Parser.scala')
| -rw-r--r-- | Chalice/src/Parser.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Chalice/src/Parser.scala b/Chalice/src/Parser.scala index f086487d..2d3f99fc 100644 --- a/Chalice/src/Parser.scala +++ b/Chalice/src/Parser.scala @@ -31,7 +31,7 @@ class Parser extends StandardTokenParsers { "ite", "fold", "unfold", "unfolding", "in", "forall", "exists",
"seq", "nil", "result", "eval", "token",
"wait", "signal", "unlimited",
- "refines", "transforms", "replaces", "by"
+ "refines", "transforms", "replaces", "by", "spec"
)
// todo: can we remove "nil"?
lexical.delimiters += ("(", ")", "{", "}", "[[", "]]",
@@ -158,6 +158,7 @@ class Parser extends StandardTokenParsers { | "assume" ~> expression <~ Semi ^^ Assume
| blockStatement ^^ BlockStmt
| "var" ~> localVarStmt(false, false)
+ | "spec" ~> localVarStmt(false, false)
| "const" ~> localVarStmt(true, false)
| "ghost" ~> "const" ~> localVarStmt(true, true)
| "ghost" ~> "var" ~> localVarStmt(false, true)
|