From 7b1fbff12812e5a9ffd8eaae2363700081796bac Mon Sep 17 00:00:00 2001
From: Jouk <joukj@hrem.nano.tudelft.nl>
Date: Mon, 13 Jun 2016 16:39:38 +0200
Subject: [PATCH] re-insert != operator that disappeared during last update

---
 src/stc/scintilla/src/Document.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/stc/scintilla/src/Document.h b/src/stc/scintilla/src/Document.h
index d82aa46b5a..2d6005bbfb 100644
--- a/src/stc/scintilla/src/Document.h
+++ b/src/stc/scintilla/src/Document.h
@@ -211,6 +211,9 @@ public:
 		bool operator==(const WatcherWithUserData &other) const {
 			return (watcher == other.watcher) && (userData == other.userData);
 		}
+		bool operator!=(const WatcherWithUserData &other) const {
+			return !((watcher == other.watcher) && (userData == other.userData));
+		}
 	};
 
 private: