From 17a32a4e5f981e948bf10d405c41a917ed912baa Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 7 Jan 2016 20:14:16 -0800 Subject: [PATCH] ml build failure Signed-off-by: Nikolaj Bjorner --- src/api/ml/z3.ml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/api/ml/z3.ml b/src/api/ml/z3.ml index 54b9c3932..20986e438 100644 --- a/src/api/ml/z3.ml +++ b/src/api/ml/z3.ml @@ -835,11 +835,14 @@ end = struct let o = Z3native.mk_app (context_gno ctx) (AST.ptr_of_ast fa) (List.length args) (expr_lton args) in expr_of_ptr ctx o - let apply1 ctx f t = expr_of_ptr ctx (f (context_gno ctx) (gno t)) in + let apply1 ctx f t = + expr_of_ptr ctx (f (context_gno ctx) (gno t)) - let apply2 ctx f t1 t2 = expr_of_ptr ctx (f (context_gno ctx) (gno t1) (gno t2)) in + let apply2 ctx f t1 t2 = + expr_of_ptr ctx (f (context_gno ctx) (gno t1) (gno t2)) - let apply3 ctx f t1 t2 t3 = expr_of_ptr ctx (f (context_gno ctx) (gno t1) (gno t2) (gno t3)) in + let apply3 ctx f t1 t2 t3 = + expr_of_ptr ctx (f (context_gno ctx) (gno t1) (gno t2) (gno t3)) let simplify ( x : expr ) ( p : Params.params option ) = match p with