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