Add release note

dafny-lang · Apr 14, 2023 · fab5163 · fab5163
1 parent fa53bc0
commit fab5163
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/dev/news/3860.fix b/docs/dev/news/3860.fix
@@ -0,0 +1 @@
+Prevent a compiler crash that could occur when a datatype constructor was defined that has multiple parameters with the same name.