1 files changed, 1 insertions, 1 deletions
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) {