Update Changelog.md

Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
ethereum · Apr 16, 2024 · e7cc066 · e7cc066
1 parent 9bb6d16
commit e7cc066
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)