From 147a2d655f86c66b6edfebc20b927a8de8668722 Mon Sep 17 00:00:00 2001
From: Patrick Walton <pcwalton@mimiga.net>
Date: Mon, 2 May 2011 17:47:24 -0700
Subject: Un-revert "Use different syntax for checks that matter to typestate",
 fixing the problem.

This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.
---
 src/comp/front/token.rs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/comp/front/token.rs')

diff --git a/src/comp/front/token.rs b/src/comp/front/token.rs
index f367bcc6..594515f2 100644
--- a/src/comp/front/token.rs
+++ b/src/comp/front/token.rs
@@ -89,6 +89,7 @@ tag token {
 
     /* Type and type-state keywords */
     TYPE;
+    ASSERT;
     CHECK;
     CLAIM;
     PROVE;
@@ -258,6 +259,7 @@ fn to_str(token t) -> str {
 
         /* Type and type-state keywords */
         case (TYPE) { ret "type"; }
+        case (ASSERT) { ret "assert"; }
         case (CHECK) { ret "check"; }
         case (CLAIM) { ret "claim"; }
         case (PROVE) { ret "prove"; }
-- 
cgit v1.2.3