From cb783989c78f67dca4208fa269544ab720846143 Mon Sep 17 00:00:00 2001
From: Alexander Arlt <alexander.arlt@arlt-labs.com>
Date: Tue, 7 May 2024 16:37:00 +0200
Subject: [PATCH] Correct changelog.

---
 Changelog.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Changelog.md b/Changelog.md
index 193f5bb46289..59284486b39c 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -17,6 +17,10 @@ Bugfixes:
  * Yul Optimizer: Fix the order of assignments generated by ``SSATransform`` being dependent on AST IDs, sometimes resulting in different (but equivalent) bytecode when unrelated files were added to the compilation pipeline.
 
 
+Build System:
+* Replace internal JSON library jsoncpp with nlohmann::json.
+
+
 ### 0.8.25 (2024-03-14)
 
 Compiler Features:
@@ -33,9 +37,6 @@ Bugfixes:
  * SMTChecker: Fix internal error caused by not respecting the sign of an integer type when constructing zero-value SMT expressions.
  * SMTChecker: Run Eldarica only when explicitly requested with `--model-checker-solvers eld`, even when it is present on the system.
 
-Build System:
- * Replace internal JSON library jsoncpp with nlohmann::json.
-
 ### 0.8.24 (2024-01-25)
 
 Language Features: