From b04755514658d23bd89b5453e0cdd544804ee418 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 24 Sep 2009 10:50:23 -0400
Subject: Main demo pieces all seem to work with interpretation

---
 lib/js/urweb.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 5f9a0a13..00a9cc1d 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -781,7 +781,7 @@ function rv(chn, parse, k) {
 
   var msg = dequeue(ch.msgs);
   if (msg == null) {
-    enqueue(ch.listeners, function(msg) { k(parse(msg))(null); });
+    enqueue(ch.listeners, function(msg) { execF(execF(k, parse(msg)), null); });
   } else {
     try {
       execF(execF(k, parse(msg)), null);
-- 
cgit v1.2.3