From 33fc56f686ff5ff536d809f3a35ec5612febc82d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 29 Jun 2018 18:36:43 -0700 Subject: [PATCH] fix debug Signed-off-by: Nikolaj Bjorner --- src/api/dotnet/Expr.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/dotnet/Expr.cs b/src/api/dotnet/Expr.cs index 677ea7f7c..99745ffff 100644 --- a/src/api/dotnet/Expr.cs +++ b/src/api/dotnet/Expr.cs @@ -1789,7 +1789,7 @@ namespace Microsoft.Z3 [Pure] internal override void CheckNativeObject(IntPtr obj) { - if (Native.Z3_is_app(Context.nCtx, obj) == 0 && + if (Native.Z3_is_app(Context.nCtx, obj) == false && Native.Z3_get_ast_kind(Context.nCtx, obj) != (uint)Z3_ast_kind.Z3_VAR_AST && Native.Z3_get_ast_kind(Context.nCtx, obj) != (uint)Z3_ast_kind.Z3_QUANTIFIER_AST) throw new Z3Exception("Underlying object is not a term");