summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-16 16:37:48 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-16 16:37:48 -0400
commite7b72f5d56b96a830e0272cb034ed60da38ea909 (patch)
tree159bdf5b87c47b776ed7f1f53b9f234f1f8b7866 /lib
parent2396dd1bd2bdaeb7608d88bbb2f890b5788852c0 (diff)
Fix another problem with overwrites during JavaScript pattern matching
Diffstat (limited to 'lib')
-rw-r--r--lib/js/urweb.js4
1 files changed, 2 insertions, 2 deletions
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) {