diff options
Diffstat (limited to 'src/printer/dagification_visitor.cpp')
-rw-r--r-- | src/printer/dagification_visitor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/printer/dagification_visitor.cpp b/src/printer/dagification_visitor.cpp index 98d6a26bb..53b471906 100644 --- a/src/printer/dagification_visitor.cpp +++ b/src/printer/dagification_visitor.cpp @@ -39,7 +39,7 @@ DagificationVisitor::DagificationVisitor(unsigned threshold, std::string letVarP d_substNodes() { // 0 doesn't make sense - CheckArgument(threshold > 0, threshold); + AlwaysAssertArgument(threshold > 0, threshold); } DagificationVisitor::~DagificationVisitor() { |