diff options
| author |  Rustan Leino <unknown> | 2013-08-06 18:53:00 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-08-06 18:53:00 -0700 |
| commit | 93f39937033c93e1a09b4cdc08f5f0d8e13ede1c (patch) | |
| tree | 48a4f21bb9b713a7b81bad9ce2a27d0016208f40 /Binaries | |
| parent | b06749500528f113ace48fd2fd7d0412c84a9c78 (diff) | |
Fixed typo in build script
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/PrepareDafnyZip.bat | 2 |
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 |