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/util | |
parent | 700689a4e4ed42b5198816611eac5bcc1278284d (diff) |
Cleanup and comments for the dag-ifier. Also some unit testing for it.
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/options.cpp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/util/options.cpp b/src/util/options.cpp index a6bd9d09a..26881e052 100644 --- a/src/util/options.cpp +++ b/src/util/options.cpp @@ -842,13 +842,13 @@ throw(OptionException) { if(dag < 0) { throw OptionException("--default-dag-thresh requires a nonnegative argument."); } - Debug.getStream() << Expr::dag(size_t(dag)); - Trace.getStream() << Expr::dag(size_t(dag)); - Notice.getStream() << Expr::dag(size_t(dag)); - Chat.getStream() << Expr::dag(size_t(dag)); - Message.getStream() << Expr::dag(size_t(dag)); - Warning.getStream() << Expr::dag(size_t(dag)); - Dump.getStream() << Expr::dag(size_t(dag)); + Debug.getStream() << Expr::dag(dag); + Trace.getStream() << Expr::dag(dag); + Notice.getStream() << Expr::dag(dag); + Chat.getStream() << Expr::dag(dag); + Message.getStream() << Expr::dag(dag); + Warning.getStream() << Expr::dag(dag); + Dump.getStream() << Expr::dag(dag); } break; |