# HG changeset patch
# User Karn Kallio <kkallio@eka>
# Date 1309655998 16200
# Node ID ae7547789c73008782c50287526e01573a38849a
# Parent  ebc30bb262d00c768c5687e0f114cdf9765b770b
Fix flift.

diff -r ebc30bb262d0 -r ae7547789c73 lib/js/urweb.js
--- a/lib/js/urweb.js	Sun Jul 03 12:40:00 2011 -0400
+++ b/lib/js/urweb.js	Sat Jul 02 20:49:58 2011 -0430
@@ -142,7 +142,7 @@
 var disconnectHandlers = null;
 
 function flift(f) {
-    return {env:cons(f,null), body:{c:"v", n:1}};
+    return {c: "c", v:{env:cons(f,null), body:{c:"v", n:1}}};
 }
 
 function onDisconnect(f) {