From 452ea651896699bc6b3b4785b74f1b65caaa8a0b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 20 Oct 2012 19:26:31 -0700 Subject: [PATCH] move to z3.dll instead of z3_dbg.dll --- ml/compile_mlapi.cmd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ml/compile_mlapi.cmd b/ml/compile_mlapi.cmd index 02a2f2745..db80521dc 100644 --- a/ml/compile_mlapi.cmd +++ b/ml/compile_mlapi.cmd @@ -22,7 +22,7 @@ if %STATIC% == true ( set Z3DBGLIB=z3lib.lib ) else ( set Z3LIB=z3.lib - set Z3DBGLIB=z3_dbg.lib + set Z3DBGLIB=z3.lib ) REM ocaml 3.11 and later calls the linker through flexlink