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 2b8312cb..3aede819 100644 --- a/Binaries/PrepareDafnyZip.bat +++ b/Binaries/PrepareDafnyZip.bat @@ -13,8 +13,8 @@ for %%f in ( CodeContractsExtender.dll CodeContractsExtender.pdb Core.dll Core.pdb Dafny.exe Dafny.pdb - DafnyPrelude.bpl DafnyRuntime.cs DafnyPipeline.dll DafnyPipeline.pdb + DafnyPrelude.bpl DafnyRuntime.cs Graph.dll Graph.pdb Model.dll Model.pdb ParserHelper.dll ParserHelper.pdb |