summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Karn Kallio <kkallio@eka>2011-07-02 19:49:58 -0530
committerGravatar Karn Kallio <kkallio@eka>2011-07-02 19:49:58 -0530
commit7745f6d389483acb40e5575d09eff5031666e91a (patch)
tree3cd2528c2100cce083da792173572fa405206b2a /lib
parent3311911fd21e0c240788d83ff6da710dbbbc66e8 (diff)
Fix flift.
Diffstat (limited to 'lib')
-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) {