diff options
| author |  Rustan Leino <leino@microsoft.com> | 2013-03-10 00:30:29 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2013-03-10 00:30:29 -0800 |
| commit | 3b5624bc50576d855b60ad8cb20213d42c866063 (patch) | |
| tree | bea10f4d4aedd1ce94843ce0ef38c61d89af45ea /Binaries/PrepareDafnyZip.bat | |
| parent | f9a64be8ef09ac2160391c91ea8e23e5f389d1f5 (diff) | |
Bumped version to 1.6.1, to be released as a binary and on rise4fun.
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 |