diff options
author | Karn Kallio <kkallio@eka> | 2011-07-02 19:49:58 -0530 |
---|---|---|
committer | Karn Kallio <kkallio@eka> | 2011-07-02 19:49:58 -0530 |
commit | 7745f6d389483acb40e5575d09eff5031666e91a (patch) | |
tree | 3cd2528c2100cce083da792173572fa405206b2a /lib | |
parent | 3311911fd21e0c240788d83ff6da710dbbbc66e8 (diff) |
Fix flift.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/js/urweb.js | 2 |
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) { |