diff options
Diffstat (limited to 'src/theory/arrays/union_find.cpp')
-rw-r--r-- | src/theory/arrays/union_find.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arrays/union_find.cpp b/src/theory/arrays/union_find.cpp index 19ae573d8..5abc752d6 100644 --- a/src/theory/arrays/union_find.cpp +++ b/src/theory/arrays/union_find.cpp @@ -45,9 +45,9 @@ void UnionFind<NodeType, NodeHash>::notify() { // The following declarations allow us to put functions in the .cpp file // instead of the header, since we know which instantiations are needed. -template void UnionFind<Node, NodeHashFunction>::notify(); +template void UnionFind<Node, std::hash<Node>>::notify(); -template void UnionFind<TNode, TNodeHashFunction>::notify(); +template void UnionFind<TNode, std::hash<TNode>>::notify(); } // namespace arrays } // namespace theory |