summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Rustan Leino <unknown>2013-08-06 18:53:00 -0700
committerGravatar Rustan Leino <unknown>2013-08-06 18:53:00 -0700
commit93f39937033c93e1a09b4cdc08f5f0d8e13ede1c (patch)
tree48a4f21bb9b713a7b81bad9ce2a27d0016208f40
parentb06749500528f113ace48fd2fd7d0412c84a9c78 (diff)
Fixed typo in build script
-rw-r--r--Binaries/PrepareDafnyZip.bat2
1 files changed, 1 insertions, 1 deletions
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