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