1 files changed, 1 insertions, 3 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 14ec4612..410a0e23 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -1823,8 +1823,6 @@ function lookup(env, n) {
 
 function execP(env, p, v) {
     switch (p.c) {
-    case "w":
-        return env;
     case "v":
         return cons(v, env);
     case "c":
@@ -1850,7 +1848,7 @@ function execP(env, p, v) {
         }
         return env;
     default:
-        whine("Unknown Ur pattern kind" + p.c);
+        whine("Unknown Ur pattern kind " + p.c);
     }
 }