From d08b443fffb1181d8d45ae5d061412f202dd4118 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Mon, 2 May 2011 16:24:09 -0700
Subject: Revert "Use different syntax for checks that matter to typestate"

This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet.
---
 src/boot/fe/token.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/boot/fe/token.ml')

diff --git a/src/boot/fe/token.ml b/src/boot/fe/token.ml
index 27cb399b..0b157983 100644
--- a/src/boot/fe/token.ml
+++ b/src/boot/fe/token.ml
@@ -77,7 +77,6 @@ type token =
   (* Type and type-state keywords *)
   | TYPE
   | CHECK
-  | ASSERT
   | CLAIM
   | PROVE
 
@@ -238,7 +237,6 @@ let rec string_of_tok t =
     (* Type and type-state keywords *)
     | TYPE       -> "type"
     | CHECK      -> "check"
-    | ASSERT     -> "assert"
     | CLAIM      -> "claim"
     | PROVE      -> "prove"
 
-- 
cgit v1.2.3