diff --git a/UNRELEASED.md b/UNRELEASED.md
index bbd5ce1fa8..faa559879f 100644
--- 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