1 files changed, 9 insertions, 0 deletions
diff --git a/src/expr/term_canonize.cpp b/src/expr/term_canonize.cpp
index 0e05a52ea..5ab5a4b1b 100644
--- a/src/expr/term_canonize.cpp
+++ b/src/expr/term_canonize.cpp
@@ -222,5 +222,14 @@ Node TermCanonize::getCanonicalTerm(TNode n, bool apply_torder, bool doHoVar)
   return getCanonicalTerm(n, apply_torder, doHoVar, var_count, visited);
 }
 
+Node TermCanonize::getCanonicalTerm(TNode n,
+                                    std::map<TNode, Node>& visited,
+                                    bool apply_torder,
+                                    bool doHoVar)
+{
+  std::map<std::pair<TypeNode, uint32_t>, unsigned> var_count;
+  return getCanonicalTerm(n, apply_torder, doHoVar, var_count, visited);
+}
+
 }  // namespace expr
 }  // namespace cvc5