From fb70833bc52aedffa3ed0764a31b706dd1fb3250 Mon Sep 17 00:00:00 2001
From: Cheng-Han, Wu
Date: Wed, 1 Jun 2016 14:37:28 +0800
Subject: Update CodeMirror to version 5.15.3

---
 public/vendor/codemirror/addon/lint/lint.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'public/vendor/codemirror/addon/lint/lint.js')

diff --git a/public/vendor/codemirror/addon/lint/lint.js b/public/vendor/codemirror/addon/lint/lint.js
index 01f322b5..e3a45276 100644
--- a/public/vendor/codemirror/addon/lint/lint.js
+++ b/public/vendor/codemirror/addon/lint/lint.js
@@ -204,7 +204,8 @@
 
     var annotations = [];
     for (var i = 0; i < spans.length; ++i) {
-      annotations.push(spans[i].__annotation);
+      var ann = spans[i].__annotation;
+      if (ann) annotations.push(ann);
     }
     if (annotations.length) popupTooltips(annotations, e);
   }
-- 
cgit v1.2.3