From 30a30e8dd033395bee17de5e88ac435f292ac338 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 19 Aug 2014 19:22:40 +0100 Subject: [PATCH] ML API: bugfixes Signed-off-by: Christoph M. Wintersteiger --- src/api/ml/META | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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