From b145f505390243386da2992877a276edc8ab0256 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 31 Aug 2008 14:33:22 -0400
Subject: Monoized binary operators

---
 tests/query.ur | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'tests/query.ur')

diff --git a/tests/query.ur b/tests/query.ur
index afe5fab8..334c3d41 100644
--- a/tests/query.ur
+++ b/tests/query.ur
@@ -3,8 +3,7 @@ table t2 : {A : float, D : int}
 
 datatype list a = Nil | Cons of a * list a
 
-(*val q1 = (SELECT * FROM t1)*)
-val q1 = (SELECT * FROM t1 WHERE t1.A = 0)
+val q1 = (SELECT * FROM t1)
 
 val r1 : transaction (list {A : int, B : string, C : float, D : bool}) =
         query q1
-- 
cgit v1.2.3