summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lib/js/urweb.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 017ff747..35a62d76 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -142,7 +142,7 @@ function doExn(v) {
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) {