From e7cc0664b51121baf664938632790d326f22f3a3 Mon Sep 17 00:00:00 2001 From: pgebal Date: Tue, 16 Apr 2024 18:37:30 +0200 Subject: [PATCH] Update Changelog.md MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Kamil Śliwak --- Changelog.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Changelog.md b/Changelog.md index 8c028ddb9d3c..d07200ed2613 100644 --- a/Changelog.md +++ b/Changelog.md @@ -8,8 +8,8 @@ Compiler Features: Bugfixes: * SMTChecker: Fix internal error on mapping access caused by too strong requirements on sort compatibility of the index and mapping domain. - * SMTChecker: Fix internal error when using bitwise operators with an array element as argument. * SMTChecker: Fix internal error when using an empty tuple in a conditional operator. + * SMTChecker: Fix internal error when using bitwise operators with an array element as argument. ### 0.8.25 (2023-03-14)