chore: Bump version to 3.4.2 (#1844)

dafny-lang · Feb 21, 2022 · de57586 · de57586
1 parent 6d06a0d
commit de57586
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -1,6 +1,10 @@
 # Upcoming
 
+
+# 3.4.2
+
 - fix: No output when compiling to JavaScript on Windows (https://github.com/dafny-lang/dafny/pull/1824)
+- fix: CanCall assumptions for loop invariants (https://github.com/dafny-lang/dafny/pull/1813)
 - fix: Behavior of the C# runtime in a concurrent setting (https://github.com/dafny-lang/dafny/pull/1780)
 
 

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