From 511c053856b67b81309bfd362c0c53452da062b1 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Wed, 10 Aug 2011 17:10:09 -0700 Subject: [PATCH] Remove dead keywords from parser. --- src/comp/syntax/parse/parser.rs | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/comp/syntax/parse/parser.rs b/src/comp/syntax/parse/parser.rs index 2033e181fe7b..7346e79e045e 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", ());