mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
ML API bugfix
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
e7345f5ea8
commit
a73a66b79c
|
@ -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 []
|
||||
|
||||
|
|
Loading…
Reference in a new issue