From 6c21d3d9e87e7ee5c846c5601ec685dd8323e6da Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Tue, 4 Dec 2018 12:24:42 +0700 Subject: [PATCH] Z3_fixedpoint_add_constraint: decl missing Z3_API. --- src/api/z3_fixedpoint.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/z3_fixedpoint.h b/src/api/z3_fixedpoint.h index a256c873e..54a42e9bf 100644 --- a/src/api/z3_fixedpoint.h +++ b/src/api/z3_fixedpoint.h @@ -395,7 +395,7 @@ extern "C" { Z3_fixedpoint_predecessor_eh predecessor_eh, Z3_fixedpoint_unfold_eh unfold_eh); - void Z3_fixedpoint_add_constraint (Z3_context c, Z3_fixedpoint d, Z3_ast e, unsigned lvl); + void Z3_API Z3_fixedpoint_add_constraint (Z3_context c, Z3_fixedpoint d, Z3_ast e, unsigned lvl); /*@}*/ /*@}*/