Set version to 3.2.0.30713 (#1299)

dafny-lang · Jul 13, 2021 · 53ca642 · 53ca642
1 parent 0f25bcc
commit 53ca642
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Source/version.cs b/Source/version.cs
@@ -1,4 +1,4 @@
 using System.Reflection;
-// Version 3.1.0, year 2018+3 month 04 day 21
-[assembly: AssemblyVersion("3.1.0.30421")]
-[assembly: AssemblyFileVersion("3.1.0.30421")]
+// Version 3.2.0, year 2018+3 month 07 day 13
+[assembly: AssemblyVersion("3.2.0.30713")]
+[assembly: AssemblyFileVersion("3.2.0.30713")]