Bump version to 0.40.8-SNAPSHOT

apalache-mc · Jul 6, 2023 · fb59871 · fb59871
1 parent e4ec2f6
commit fb59871
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 9 deletions.
diff --git a/.unreleased/bug-fixes/2634-quint-open-tuple.md b/.unreleased/bug-fixes/2634-quint-open-tuple.md
diff --git a/.unreleased/bug-fixes/2635-unify-name-expr.md b/.unreleased/bug-fixes/2635-unify-name-expr.md
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,13 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
 
+## 0.40.7 - 2023-07-06
+
+### Bug fixes
+
+- Fix a bug when translating certain Quint tuple types, see #2634
+- Fix a typing issue when translating Quint name expressions, see #2635
+
 ## 0.40.6 - 2023-07-04
 
 ### Bug fixes

diff --git a/RELEASE.md b/RELEASE.md
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.40.7
+0.40.8-SNAPSHOT