Merge pull request #3979 from thomasspriggs/tas/symbol_not_equal

Add `!=` operator to `symbolt`

Author: thomasspriggs

src/util/symbol.cpp

@@ -228,3 +228,8 @@ bool symbolt::operator==(const symbolt &other) const
     is_volatile == other.is_volatile;
   // clang-format on
 }
+
+bool symbolt::operator!=(const symbolt &other) const
+{
+  return !(*this == other);
+}

src/util/symbol.h

@@ -126,6 +126,7 @@ class symbolt
   bool is_well_formed() const;
 
   bool operator==(const symbolt &other) const;
+  bool operator!=(const symbolt &other) const;
 };
 
 std::ostream &operator<<(std::ostream &out, const symbolt &symbol);