diff --git a/src/storm-dft/utility/RelevantEvents.h b/src/storm-dft/utility/RelevantEvents.h
index 4823aad3c..4fa2d0769 100644
--- a/src/storm-dft/utility/RelevantEvents.h
+++ b/src/storm-dft/utility/RelevantEvents.h
@@ -47,11 +47,11 @@ namespace storm {
                 insert(first, last);
             }
 
-            bool operator==(RelevantEvents const& rhs) {
+            bool operator==(RelevantEvents const& rhs) const {
                 return this->allRelevant == rhs.allRelevant || this->names == rhs.names;
             }
 
-            bool operator!=(RelevantEvents const& rhs) {
+            bool operator!=(RelevantEvents const& rhs) const {
                 return !(*this == rhs);
             }