diff options
Diffstat (limited to 'Binaries/PrepareDafnyZip.bat')
| -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 |