Update 2024-06.md

hacspec · Jul 3, 2024 · cfd5f14 · cfd5f14
1 parent 018765b
commit cfd5f14
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/content/posts/this-month-in-hax/2024-06.md b/content/posts/this-month-in-hax/2024-06.md
@@ -24,7 +24,7 @@ We pushed many fixes for the F* backend in the engine and improved the
 F* proof library. We also improved the bounded integer library and
 it's F* integration.
 
-# Merge Pull Requests
+# Merged Pull Requests
  - [Translate `dyn Trait` information](https://github.com/hacspec/hax/pull/741)
  - [fix(engine/fstar): use `Base.String.hash` instead of `String.hash`](https://github.com/hacspec/hax/pull/740)
  - [feat: add LICENSE](https://github.com/hacspec/hax/pull/736)