Cleanup and comments for the dag-ifier. Also some unit testing for it.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index 6cd476a5f..5129cd73a 100644
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -815,10 +815,10 @@ public:
 
   /**
    * Construct a ExprDag with the given setting (letify only common
-   * subexpressions that appear more than 'dag' times).  dag==0 means
+   * subexpressions that appear more than 'dag' times).  dag <= 0 means
    * don't dagify.
    */
-  ExprDag(size_t dag) : d_dag(dag) {}
+  explicit ExprDag(int dag) : d_dag(dag < 0 ? 0 : dag) {}
 
   inline void applyDag(std::ostream& out) {
     // (offset by one to detect whether default has been set yet)
@@ -942,7 +942,7 @@ public:
 
 ${getConst_instantiations}
 
-#line 938 "${template}"
+#line 946 "${template}"
 
 namespace expr {