Add changelog entry

input-output-hk · Nov 16, 2023 · a185c55 · a185c55
1 parent e0b1e70
commit a185c55
Showing 1 changed file with 42 additions and 0 deletions.
diff --git a/changelog.d/20231116_023007_pablo.lamela_PLT_3985.md b/changelog.d/20231116_023007_pablo.lamela_PLT_3985.md
@@ -0,0 +1,42 @@
+<!--
+A new scriv changelog fragment.
+
+Uncomment the section that is right (remove the HTML comment wrapper).
+-->
+
+<!--
+### Removed
+
+- A bullet item for the Removed category.
+
+-->
+<!--
+### Added
+
+- A bullet item for the Added category.
+
+-->
+<!--
+### Changed
+
+- A bullet item for the Changed category.
+
+-->
+<!--
+### Deprecated
+
+- A bullet item for the Deprecated category.
+
+-->
+
+### Fixed
+
+- Fix a legacy vestige that caused the initial time of counterexamples sroduced by the static analysis to be shown as a slot number.
+
+
+<!--
+### Security
+
+- A bullet item for the Security category.
+
+-->