From 0a8a553a877b19315bf496edb2470307a692ca0e Mon Sep 17 00:00:00 2001
From: Thomas Pani <thomas@informal.systems>
Date: Wed, 16 Aug 2023 12:32:35 +0200
Subject: [PATCH] Update changelog

---
 .unreleased/bug-fixes/2697-fresh-model-values.md | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 .unreleased/bug-fixes/2697-fresh-model-values.md

diff --git a/.unreleased/bug-fixes/2697-fresh-model-values.md b/.unreleased/bug-fixes/2697-fresh-model-values.md
new file mode 100644
index 0000000000..39818d59be
--- /dev/null
+++ b/.unreleased/bug-fixes/2697-fresh-model-values.md
@@ -0,0 +1 @@
+Fix a bug with decoding unconstrained model values of uninterpreted types.