From 511c053856b67b81309bfd362c0c53452da062b1 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Wed, 10 Aug 2011 17:10:09 -0700 Subject: Remove dead keywords from parser. --- src/comp/syntax/parse/parser.rs | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/comp/syntax/parse') diff --git a/src/comp/syntax/parse/parser.rs b/src/comp/syntax/parse/parser.rs index 2033e181fe7..7346e79e045 100644 --- a/src/comp/syntax/parse/parser.rs +++ b/src/comp/syntax/parse/parser.rs @@ -165,8 +165,6 @@ fn bad_expr_word_table() -> hashmap[str, ()] { words.insert("assert", ()); words.insert("claim", ()); words.insert("prove", ()); - words.insert("state", ()); - words.insert("gc", ()); words.insert("native", ()); words.insert("fn", ()); words.insert("block", ()); -- cgit 1.4.1-3-g733a5