chore: Bump version to 3.4.1 (#1825)

dafny-lang · Feb 15, 2022 · dc410d6 · dc410d6
1 parent 4cbef94
commit dc410d6
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -1,5 +1,8 @@
 # Upcoming
 
+
+# 3.4.1
+
 - feat: Plugin support in the resolution pipeline (https://github.com/dafny-lang/dafny/pull/1739)
 - fix: NullPointerException in the AST (https://github.com/dafny-lang/dafny/pull/1805)
 - fix: Change datatype deconstruction in match statements for C# (https://github.com/dafny-lang/dafny/issues/1815)

diff --git a/Source/version.cs b/Source/version.cs
@@ -1,4 +1,4 @@
 using System.Reflection;
-// Version 3.4.0, year 2018+4 month 1 day 12
-[assembly: AssemblyVersion("3.4.0.40208")]
-[assembly: AssemblyFileVersion("3.4.0.40208")]
+// Version 3.4.1, year 2018+4 month 2 day 15
+[assembly: AssemblyVersion("3.4.1.40215")]
+[assembly: AssemblyFileVersion("3.4.1.40215")]