constness.patch 370 B

123456789101112
  1. --- a/src/nfagraph/ng_is_equal.h
  2. +++ b/src/nfagraph/ng_is_equal.h
  3. @@ -51,6 +51,9 @@ u64a hash_holder(const NGHolder &g);
  4. size_t operator()(const std::shared_ptr<const NGHolder> &h) const {
  5. return hash_holder(*h);
  6. }
  7. + size_t operator()(const std::shared_ptr<NGHolder> &h) const {
  8. + return hash_holder(*h);
  9. + }
  10. };
  11. struct NGHolderEqual {