Update CHANGELOG.md

MatthewDaggitt · web-flow · commit 7ed0b3531f28 · 2024-09-03T11:04:01.000+08:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,7 +4,7 @@ Version 2.2-dev
 The library has been tested using Agda 2.7.0.
 
 Highlights
----------
+----------
 
 Bug-fixes
 ---------
