From df0c08c271c60336891afa591216e51c2cd589b1 Mon Sep 17 00:00:00 2001
From: Matteo Cypriani <mcy@lm7.fr>
Date: Thu, 3 Nov 2016 15:53:17 -0400
Subject: [PATCH] [Positioner] Add missing ResultList::operator!=()

---
 owlps-positioner/resultlist.hh | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/owlps-positioner/resultlist.hh b/owlps-positioner/resultlist.hh
index eb2a404..cba973c 100644
--- a/owlps-positioner/resultlist.hh
+++ b/owlps-positioner/resultlist.hh
@@ -113,4 +113,15 @@ inline void ResultList::set_request(const Request *const _request)
 
 
 
+
+/* *** Write accessors *** */
+
+
+inline bool ResultList::operator!=(const ResultList &source) const
+{
+  return !this->operator==(source);
+}
+
+
+
 #endif // _OWLPS_POSITIONING_RESULTLIST_HH_