From a73a66b79c64971109ab3425654a8299ff1332bf Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 22 Apr 2014 11:49:47 +0100 Subject: [PATCH] ML API bugfix Signed-off-by: Christoph M. Wintersteiger --- src/api/ml/z3.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/ml/z3.ml b/src/api/ml/z3.ml index e2fa01478..dafd255f8 100644 --- a/src/api/ml/z3.ml +++ b/src/api/ml/z3.ml @@ -119,7 +119,7 @@ let mk_list ( f : int -> 'a ) ( n : int ) = if (i >= n) then tail else - (mk_list' f (i+1) n ((f i) :: tail)) + (f i) :: (mk_list' f (i+1) n tail) in mk_list' f 0 n []