set the default expression-printing depth to "unlimited"

diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index c50e85ac2e7121bc10865009c6264bc43a3ad964..e26e99ded7e5f7942313f9d0a6f6a9946e0ab155 100644 (file)
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -666,7 +666,7 @@ class CVC4_PUBLIC ExprSetDepth {
    * The default depth to print, for ostreams that haven't yet had a
    * setdepth() applied to them.
    */
-  static const int s_defaultPrintDepth = 3;
+  static const int s_defaultPrintDepth = -1;
 
   /**
    * When this manipulator is used, the depth is stored here.