From 3b92128ed8e404d07d9ae15ebff48aaae667dfeb Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 16 Feb 2016 12:12:59 +0000 Subject: [PATCH] Fixed old-style C variable declaration problem in interpolation C example. --- examples/c/test_capi.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/examples/c/test_capi.c b/examples/c/test_capi.c index 5e70bac81..88fdaa1cf 100644 --- a/examples/c/test_capi.c +++ b/examples/c/test_capi.c @@ -2351,11 +2351,12 @@ void interpolation_example() { Z3_ast f = Z3_mk_and(ctx,2,args3); Z3_ast_vector interpolant = 0; Z3_model m = 0; + Z3_lbool result = Z3_L_UNDEF; printf("\ninterpolation_example\n"); LOG_MSG("interpolation_example"); - Z3_lbool result = Z3_compute_interpolant(ctx,f,0,&interpolant,&m); + result = Z3_compute_interpolant(ctx,f,0,&interpolant,&m); switch (result) { case Z3_L_FALSE: