From ff6b741afcf2175f5df3cd1d79d403ed37bf98e6 Mon Sep 17 00:00:00 2001
From: Giles Bathgate <giles.bathgate@gmail.com>
Date: Mon, 30 Jan 2023 20:31:19 +0000
Subject: [PATCH] Is a comparison operator needed

---
 Surface_mesh/include/CGAL/Surface_mesh/Properties.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Surface_mesh/include/CGAL/Surface_mesh/Properties.h b/Surface_mesh/include/CGAL/Surface_mesh/Properties.h
index f0387f9790f..3bca0eef860 100644
--- a/Surface_mesh/include/CGAL/Surface_mesh/Properties.h
+++ b/Surface_mesh/include/CGAL/Surface_mesh/Properties.h
@@ -598,6 +598,11 @@ public:
         return parray_ != nullptr;
     }
 #endif
+
+    bool operator!=(const Property_map_base& pm) const {
+      return parray_ != pm.parray_;
+    }
+
     /// Access the property associated with the key \c i.
     reference operator[](const I& i)
     {