diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-01-01 10:49:42 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-01-01 10:49:42 -0500 |
| commit | fdcba593de74be15f49d299084829613dda90463 (patch) | |
| tree | 153e0b43138171ab20f686aff9c6612f62729f4a /jslib | |
| parent | 5f375b7ae7be0270205c495adfeb209983b882e1 (diff) | |
Used an option as a source
Diffstat (limited to 'jslib')
| -rw-r--r-- | jslib/urweb.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jslib/urweb.js b/jslib/urweb.js index e661a739..fec37d1b 100644 --- a/jslib/urweb.js +++ b/jslib/urweb.js @@ -42,3 +42,4 @@ function dyn(s) { } function ts(x) { return x.toString() } +function pf() { alert("Pattern match failure") } |