From 32896a15e6e82e660164ddb9845d0c43fdcf2b25 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@microsoft.com>
Date: Wed, 12 Dec 2012 02:02:08 +0000
Subject: [PATCH] Fix for compiling ml api

---
 src/api/ml/Makefile.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/ml/Makefile.build b/src/api/ml/Makefile.build
index 27c798bbf..0a737e356 100644
--- a/src/api/ml/Makefile.build
+++ b/src/api/ml/Makefile.build
@@ -13,7 +13,7 @@ XCDBG=-g $(CFLAGS)
 XCOPT=-ccopt -Ox -ccopt -Oy- $(CFLAGS)
 # ole32 is needed by camlidl (COM support)
 XLIB=-cclib ole32.lib
-AR=lib /nologo /LIBPATH:../../build ../../z3.lib /out:
+AR=lib /nologo /LIBPATH:../../build ../../libz3.lib /out:
 O=obj
 A=lib
 else