From b027a79d3f701b4d2d4d1849449e4e6d8b973fcd Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 31 Aug 2008 16:11:15 -0400
Subject: Monoize OFFSET

---
 tests/limit.ur | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/limit.ur')

diff --git a/tests/limit.ur b/tests/limit.ur
index 03deb0b3..2079b47c 100644
--- a/tests/limit.ur
+++ b/tests/limit.ur
@@ -10,7 +10,7 @@ val q4 = fn n => fn m => (SELECT * FROM t LIMIT {n} OFFSET {m})
 datatype list a = Nil | Cons of a * list a
 
 val r1 : transaction (list {A : int, B : string, C : float}) =
-        query (q2 3)
+        query (q4 3 7)
         (fn fs acc => return (Cons (fs.T, acc)))
         Nil
 
-- 
cgit v1.2.3