diff options
| -rw-r--r-- | static/js/skiplist.js | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/static/js/skiplist.js b/static/js/skiplist.js index 385f08f0..190bc55b 100644 --- a/static/js/skiplist.js +++ b/static/js/skiplist.js @@ -21,7 +21,7 @@ */ - +var noop = require('./ace2_common').noop; function newSkipList() @@ -41,9 +41,6 @@ function newSkipList() }; } - function noop() - {} - // if there are N elements in the skiplist, "start" is element -1 and "end" is element N var start = { key: null, |