diff options
| -rw-r--r-- | Binaries/PrepareDafnyZip.bat | 2 | ||||
| -rw-r--r-- | Source/version.cs | 6 |
2 files changed, 4 insertions, 4 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 diff --git a/Source/version.cs b/Source/version.cs index 9143b9c0..a05fad06 100644 --- a/Source/version.cs +++ b/Source/version.cs @@ -1,4 +1,4 @@ using System.Reflection;
-// Version 1.6.0, year 2013+0 month 01 day 23
-[assembly: AssemblyVersion("1.6.0.00123")]
-[assembly: AssemblyFileVersion("1.6.0.00123")]
+// Version 1.6.1, year 2013+0 month 03 day 09
+[assembly: AssemblyVersion("1.6.1.00309")]
+[assembly: AssemblyFileVersion("1.6.1.00309")]
|