From 8231d1cbcf9eb97a59f7cd9a23bf48a3241fe429 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@microsoft.com>
Date: Mon, 22 Oct 2012 03:35:52 +0100
Subject: [PATCH] updated Debug dir name

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

diff --git a/ml/build.cmd b/ml/build.cmd
index e3da5712b..ca7d3a36d 100755
--- a/ml/build.cmd
+++ b/ml/build.cmd
@@ -19,7 +19,7 @@ if ""%1 == "" (
 if %BITS% == 32 (
   set ARCH=x86
   set Z3BIN= ..\external
-  set Z3DBG= ..\debug
+  set Z3DBG= ..\Debug
 ) else (
   set ARCH=x64
   set Z3BIN= ..\x64\external_64