From 983a0fb16f7a7c0600e93b2213e7b61c58da5ac9 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 21 Oct 2013 11:22:42 +0100 Subject: [PATCH] ML bindings: list/array are now called z3array/z3list to avoid confusion. Signed-off-by: Christoph M. Wintersteiger --- src/api/ml/z3.ml | 4 ---- src/api/ml/z3.mli | 4 ++-- 2 files changed, 2 insertions(+), 6 deletions(-) diff --git a/src/api/ml/z3.ml b/src/api/ml/z3.ml index 8b783d25d..ed815d720 100644 --- a/src/api/ml/z3.ml +++ b/src/api/ml/z3.ml @@ -2670,7 +2670,3 @@ let global_param_reset_all = let toggle_warning_messages ( enabled: bool ) = Z3native.toggle_warning_messages enabled - - -module Array = Z3Array -module List = Z3List diff --git a/src/api/ml/z3.mli b/src/api/ml/z3.mli index 3f83ef6b2..ff1898185 100644 --- a/src/api/ml/z3.mli +++ b/src/api/ml/z3.mli @@ -761,7 +761,7 @@ sig end (** Functions to manipulate Array expressions *) -module Array : +module Z3Array : sig (** Create a new array sort. *) val mk_sort : context -> Sort.sort -> Sort.sort -> Sort.sort @@ -1093,7 +1093,7 @@ sig end (** Functions to manipulate List expressions *) -module List : +module Z3List : sig (** Create a new list sort. *) val mk_sort : context -> Symbol.symbol -> Sort.sort -> Sort.sort