From 021db28a0234fe524717642463490c1b3e37e711 Mon Sep 17 00:00:00 2001
From: webzwo0i <webzwo0i@c3d2.de>
Date: Sun, 8 Dec 2013 17:27:48 +0100
Subject: [PATCH] [Changeset] a?lines_length was not used within inverse
 function

---
 src/static/js/Changeset.js | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/src/static/js/Changeset.js b/src/static/js/Changeset.js
index 77bd3a4c9..e47b30524 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;