1 files changed, 8 insertions, 3 deletions
diff --git a/src/expr/node.h b/src/expr/node.h
index 616e256ab..e07499b69 100644
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -825,10 +825,15 @@ public:
    * (might break language compliance, but good for debugging expressions)
    * @param language the language in which to output
    */
-  inline void toStream(std::ostream& out, int toDepth = -1, bool types = false, size_t dag = 1,
-                       OutputLanguage language = language::output::LANG_AUTO) const {
+  inline void toStream(
+      std::ostream& out,
+      int toDepth = -1,
+      bool types = false,
+      size_t dagThreshold = 1,
+      OutputLanguage language = language::output::LANG_AUTO) const
+  {
     assertTNodeNotExpired();
-    d_nv->toStream(out, toDepth, types, dag, language);
+    d_nv->toStream(out, toDepth, types, dagThreshold, language);
   }
 
   /**