From cfcc0c0553a13a83cf674b00828c89b6f9459936 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 4 Apr 2009 14:03:39 -0400
Subject: _Really_ implement embedded closure GC; extend Scriptcheck to figure
 out when client IDs must be assigned

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

(limited to 'src/cjrize.sml')

diff --git a/src/cjrize.sml b/src/cjrize.sml
index 27287d6e..998ae38e 100644
--- a/src/cjrize.sml
+++ b/src/cjrize.sml
@@ -520,7 +520,7 @@ fun cifyDecl ((d, loc), sm) =
             val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts
             val (t, sm) = cifyTyp (t, sm)
         in
-            (NONE, SOME (ek, "/" ^ s, n, ts, t, L'.ServerAndClient), sm)
+            (NONE, SOME (ek, "/" ^ s, n, ts, t, L'.ServerAndPullAndPush), sm)
         end
 
       | L.DTable (s, xts) =>
-- 
cgit v1.2.3