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.