diff options
Diffstat (limited to 'src/util/divisible.cpp')
-rw-r--r-- | src/util/divisible.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/util/divisible.cpp b/src/util/divisible.cpp index 4a8b7a2e7..85824a77f 100644 --- a/src/util/divisible.cpp +++ b/src/util/divisible.cpp @@ -17,6 +17,7 @@ #include "util/divisible.h" +#include "base/cvc4_assert.h" #include "base/exception.h" using namespace std; @@ -24,7 +25,7 @@ using namespace std; namespace CVC4 { Divisible::Divisible(const Integer& n) : k(n) { - CheckArgument(n > 0, n, "Divisible predicate must be constructed over positive N"); + PrettyCheckArgument(n > 0, n, "Divisible predicate must be constructed over positive N"); } }/* CVC4 namespace */ |