diff --git a/src/static/js/Changeset.js b/src/static/js/Changeset.js
index 77bd3a4c..e47b3052 100644
--- a/src/static/js/Changeset.js
+++ b/src/static/js/Changeset.js
@@ -1841,14 +1841,6 @@ exports.inverse = function (cs, lines, alines, pool) {
     }
   }
 
-  function lines_length() {
-    if ((typeof lines.length) == "number") {
-      return lines.length;
-    } else {
-      return lines.length();
-    }
-  }
-
   function alines_get(idx) {
     if (alines.get) {
       return alines.get(idx);
@@ -1857,14 +1849,6 @@ exports.inverse = function (cs, lines, alines, pool) {
     }
   }
 
-  function alines_length() {
-    if ((typeof alines.length) == "number") {
-      return alines.length;
-    } else {
-      return alines.length();
-    }
-  }
-
   var curLine = 0;
   var curChar = 0;
   var curLineOpIter = null;