From b5189e4e4ab90cc72ba1767d2462496a2b57fa21 Mon Sep 17 00:00:00 2001
From: Ford Hurley <ford.hurley@gmail.com>
Date: Wed, 27 Dec 2017 15:16:13 -0500
Subject: [PATCH] Delint

---
 src/text-editor.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/text-editor.js b/src/text-editor.js
index 6f9993eed..18c767f81 100644
--- a/src/text-editor.js
+++ b/src/text-editor.js
@@ -121,7 +121,7 @@ class TextEditor {
     this.id = params.id != null ? params.id : nextId++
     if (this.id >= nextId) {
       // Ensure that new editors get unique ids:
-      nextId = this.id + 1;
+      nextId = this.id + 1
     }
     this.initialScrollTopRow = params.initialScrollTopRow
     this.initialScrollLeftColumn = params.initialScrollLeftColumn