Add a changelog entry about a fixed ICE in SMTChecker

ethereum · Apr 12, 2024 · 255a630 · 255a630
1 parent 9abb5b9
commit 255a630
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -7,6 +7,7 @@ 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.