From 3f937354e39cd071de23c72f38e53eb4811ee433 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 16 May 2009 16:37:48 -0400
Subject: Fix another problem with overwrites during JavaScript pattern
 matching

---
 lib/js/urweb.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index d0322bff..39701b4d 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -30,8 +30,8 @@ function whine(msg) {
   throw msg;
 }
 
-function pf() {
-  whine("Pattern match failure");
+function pf(loc) {
+  whine("Pattern match failure (" + loc + ")");
 }
 
 function runHandlers(kind, ls, arg) {
-- 
cgit v1.2.3