From 479f8442009987726e3c03fe5618b250acca383a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 2 Apr 2023 11:14:20 -0700 Subject: [PATCH] fix #6661 Signed-off-by: Nikolaj Bjorner --- src/ast/ast.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/ast.h b/src/ast/ast.h index 4187fece6..3e2f0288d 100644 --- a/src/ast/ast.h +++ b/src/ast/ast.h @@ -161,7 +161,7 @@ public: bool is_zstring() const { return get_kind() == PARAM_ZSTRING; } bool is_int(int & i) const { return is_int() && (i = get_int(), true); } - bool is_ast(ast * & a) const { return is_ast() && (a = get_ast(), a && true); } + bool is_ast(ast * & a) const { return is_ast() && (a = get_ast(), true); } bool is_symbol(symbol & s) const { return is_symbol() && (s = get_symbol(), true); } bool is_rational(rational & r) const { return is_rational() && (r = get_rational(), true); } bool is_double(double & d) const { return is_double() && (d = get_double(), true); }