diff options
Diffstat (limited to 'src/expr/sexpr.cpp')
-rw-r--r-- | src/expr/sexpr.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/expr/sexpr.cpp b/src/expr/sexpr.cpp index 0c0828616..69741859f 100644 --- a/src/expr/sexpr.cpp +++ b/src/expr/sexpr.cpp @@ -311,7 +311,7 @@ bool SExpr::languageQuotesKeywords(OutputLanguage language) { std::string SExpr::getValue() const { - CheckArgument( isAtom(), this ); + PrettyCheckArgument( isAtom(), this ); switch(d_sexprType) { case SEXPR_INTEGER: return d_integerValue.toString(); @@ -335,17 +335,17 @@ std::string SExpr::getValue() const { } const CVC4::Integer& SExpr::getIntegerValue() const { - CheckArgument( isInteger(), this ); + PrettyCheckArgument( isInteger(), this ); return d_integerValue; } const CVC4::Rational& SExpr::getRationalValue() const { - CheckArgument( isRational(), this ); + PrettyCheckArgument( isRational(), this ); return d_rationalValue; } const std::vector<SExpr>& SExpr::getChildren() const { - CheckArgument( !isAtom(), this ); + PrettyCheckArgument( !isAtom(), this ); Assert( d_children != NULL ); return *d_children; } |