From 70e17f78838ac1ebdeae9eca750eb52f14c27589 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 4 Dec 2011 15:13:53 -0500 Subject: Stop [read] from raising an exception for invalid [int] strings --- lib/js/urweb.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib') diff --git a/lib/js/urweb.js b/lib/js/urweb.js index c6e55907..a10c107f 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -972,7 +972,7 @@ function trimZeroes(s) { if (s == "0") return s; else - er("Can't parse int: " + s); + return {}; } function pi(s) { -- cgit v1.2.3