From 9f6397d0f801f6e020aa6123f14ddc44e11deee7 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 6 Nov 2008 12:08:41 -0500
Subject: Reading cookies works

---
 src/cjr.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/cjr.sml')

diff --git a/src/cjr.sml b/src/cjr.sml
index dc700a56..84aea54e 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -92,6 +92,7 @@ datatype exp' =
                    prepared : int option }
        | ENextval of { seq : exp,
                        prepared : int option }
+       | EUnurlify of exp * typ
 
 withtype exp = exp' located
 
-- 
cgit v1.2.3