From 93f39937033c93e1a09b4cdc08f5f0d8e13ede1c Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Tue, 6 Aug 2013 18:53:00 -0700
Subject: Fixed typo in build script

---
 Binaries/PrepareDafnyZip.bat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Binaries')

diff --git a/Binaries/PrepareDafnyZip.bat b/Binaries/PrepareDafnyZip.bat
index 83aab1a9..cd9ac93f 100644
--- a/Binaries/PrepareDafnyZip.bat
+++ b/Binaries/PrepareDafnyZip.bat
@@ -17,7 +17,7 @@ for %%f in (
   Doomed.dll                          Doomed.pdb
   ExecutionEngine.dll                 ExecutionEngine.pdb
   Graph.dll                           Graph.pdb
-  Houdini.dll                         Houdini.dll
+  Houdini.dll                         Houdini.pdb
   Model.dll                           Model.pdb
   ParserHelper.dll                    ParserHelper.pdb
   Provers.SMTLib.dll                  Provers.SMTLib.pdb
-- 
cgit v1.2.3