1 files changed, 2 insertions, 2 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 1beb63c3..4ef77599 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -1711,10 +1711,10 @@ function exec1(env, stack, e) {
             break;
         case "f":
             if (e.a == null)
-                e = {c: "c", v: (eval(e.f))()};
+                e = {c: "c", v: e.f()};
             else {
                 var args = [];
-                stack = cons({c: "f", f: eval(e.f), args: args, pos: 0, a: e.a.next}, stack);
+                stack = cons({c: "f", f: e.f, args: args, pos: 0, a: e.a.next}, stack);
                 if (!e.a.data.c) alert("[2] fr.f = " + e.f + "; 0 = " + e.a.data);
                 e = e.a.data;
             }