diff lib/js/urweb.js @ 1177:26fed2c4f5be

Louder jscomp; toUpper/Lower fix for JavaScript
author Adam Chlipala <adamc@hcoop.net>
date Thu, 04 Mar 2010 13:47:16 -0500
parents 24a62b6412c4
children 83b1853d1e58
line wrap: on
line diff
--- a/lib/js/urweb.js	Tue Mar 02 16:00:48 2010 -0500
+++ b/lib/js/urweb.js	Thu Mar 04 13:47:16 2010 -0500
@@ -33,8 +33,8 @@
 function isBlank(c) { return c == ' ' || c == '\t'; }
 function isSpace(c) { return isBlank(c) || c == '\r' || c == '\n'; }
 function isXdigit(c) { return isDigit(c) || (c >= 'a' && c <= 'f') || (c >= 'A' && c <= 'F'); }
-function toLower(c) { return c.toLowercase(); }
-function toUpper(c) { return c.toUppercase(); }
+function toLower(c) { return c.toLowerCase(); }
+function toUpper(c) { return c.toUpperCase(); }
 
 
 // Lists