diff options
Diffstat (limited to 'src/preprocessing/passes/ho_elim.h')
-rw-r--r-- | src/preprocessing/passes/ho_elim.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/ho_elim.h b/src/preprocessing/passes/ho_elim.h index 1a3142b39..2edc96074 100644 --- a/src/preprocessing/passes/ho_elim.h +++ b/src/preprocessing/passes/ho_elim.h @@ -112,7 +112,7 @@ class HoElim : public PreprocessingPass * Stores the set of nodes we have current visited and their results * in steps [1] and [2] of this pass. */ - std::unordered_map<TNode, Node, TNodeHashFunction> d_visited; + std::unordered_map<Node, Node, NodeHashFunction> d_visited; /** * Stores the mapping from functions f to their corresponding function H(f) * in the encoding for step [2] of this pass. |