From 9890b6de2e6877c67650f64410127ee2dfe8581e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 3 Jan 2010 12:47:27 -0500
Subject: Proper C-side deserialization; Shake.sliceDb

---
 src/scriptcheck.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/scriptcheck.sml')

diff --git a/src/scriptcheck.sml b/src/scriptcheck.sml
index 7dec8d80..129f4281 100644
--- a/src/scriptcheck.sml
+++ b/src/scriptcheck.sml
@@ -115,7 +115,7 @@ fun classify (ds, ps) =
                       | EDml {dml, ...} => hasClient dml
                       | ENextval {seq, ...} => hasClient seq
                       | ESetval {seq, count, ...} => hasClient seq orelse hasClient count
-                      | EUnurlify (e, _) => hasClient e
+                      | EUnurlify (e, _, _) => hasClient e
             in
                 hasClient
             end
-- 
cgit v1.2.3