fix #6661

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Apr 2, 2023 · 479f844 · 479f844
1 parent def83ed
commit 479f844
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ast/ast.h b/src/ast/ast.h
@@ -161,7 +161,7 @@ class parameter {
     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); }