diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-06-09 14:09:39 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-06-09 14:09:39 +0000 |
commit | b7aa53c0126948cae651b91555e44f8ce2f546bc (patch) | |
tree | 8178ee8a60fecccb4e357401a12a3f1cf5e87381 /src/expr | |
parent | 700689a4e4ed42b5198816611eac5bcc1278284d (diff) |
Cleanup and comments for the dag-ifier. Also some unit testing for it.
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/expr_template.h | 6 |
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 { |