add release notes

apalache-mc · May 20, 2022 · 8b3b2a7 · 8b3b2a7
1 parent 0166e95
commit 8b3b2a7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/UNRELEASED.md b/UNRELEASED.md
@@ -23,3 +23,4 @@
 ### Bug fixes
 
  * Fix potential non-determinism when picking from `[S -> T]`, see #1753
+ * Fix the bug in uninterpreted types, see #1792