Update CHANGELOG.md

Co-authored-by: Bruce Collie <[email protected]>
runtimeverification · Nov 7, 2023 · 85ed9dd · 85ed9dd
1 parent 4989c78
commit 85ed9dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -15,7 +15,7 @@ Features
 
 - Added the Haskell Backend Booster as a dependency to K. This can improve performance
   when running large proofs. It combines the llvm-backend for concrete execution and
-  relies on the haskell-backend to simplify terms when there is a split in the proof.
+  relies on the Haskell Backend to simplify terms when there is a split in the proof.
 
 - Optimized the kompiler by removing unit applications for collections.