From 67ed059e3b57399c7a8231f3180f35357b7aa1c9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Tue, 27 Jul 2010 14:04:09 -0400
Subject: Roll back WHERE checking

---
 src/mono_print.sml | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'src/mono_print.sml')

diff --git a/src/mono_print.sml b/src/mono_print.sml
index 74467e08..25a8e9d8 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -429,13 +429,6 @@ fun p_policy env pol =
       | PolSequence e => box [string "sendOwnIds",
                               space,
                               p_exp env e]
-      | PolEqual {table = tab, field = nm, known} => box [string "equal",
-                                                          string (if known then "Known" else "Any"),
-                                                          string "[",
-                                                          string nm,
-                                                          string "]",
-                                                          space,
-                                                          p_exp env tab]
 
 fun p_decl env (dAll as (d, _) : decl) =
     case d of
-- 
cgit v1.2.3