diff --git a/src/api/ml/META b/src/api/ml/META
index f1d34ba3d..6238403a3 100644
--- a/src/api/ml/META
+++ b/src/api/ml/META
@@ -6,4 +6,4 @@ archive(byte) = "z3.cma"
 archive(native) = "z3.cmxa"
 archive(byte, plugin) = "z3.cma"
 archive(native, plugin) = "z3.cmxs"
-linkopts = "-cclib -lz3 -lz3ml"
\ No newline at end of file
+linkopts = "-cclib -lz3"
\ No newline at end of file