Update CHANGELOG.md typo

MatthewDaggitt · web-flow · commit 840321543254 · 2024-09-03T11:03:47.000+08:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -3,7 +3,8 @@ Version 2.2-dev
 
 The library has been tested using Agda 2.7.0.
 
-* Fixed `Reflection.AST.Definition` to take into account Agda now exposes a `Quantity` argument on the reflection `constructor` constructor.
+Highlights
+---------
 
 Bug-fixes
 ---------
