Fix const correctness in RelevantEvents

4 years ago · 8bccb7ffa1
1 changed files with 2 additions and 2 deletions
--- 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);
            }