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/comp/pretty/pprust.rs | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'src/comp/pretty')

diff --git a/src/comp/pretty/pprust.rs b/src/comp/pretty/pprust.rs
index 7ef91ce8..e49ed34e 100644
--- a/src/comp/pretty/pprust.rs
+++ b/src/comp/pretty/pprust.rs
@@ -661,18 +661,12 @@ fn print_expr(ps s, &@ast.expr expr) {
             }
             print_expr(s, expr);
         }
-        case (ast.expr_check(?expr,_)) {
+        case (ast.expr_check_expr(?expr,_)) {
             wrd1(s, "check");
             popen_h(s);
             print_expr(s, expr);
             pclose(s);
         }
-        case (ast.expr_assert(?expr,_)) {
-            wrd1(s, "assert");
-            popen_h(s);
-            print_expr(s, expr);
-            pclose(s);
-        }
         case (ast.expr_ext(?path, ?args, ?body, _, _)) {
             wrd(s.s, "#");
             print_path(s, path);
-- 
cgit v1.2.3