Merge pull request #718 from AeneasVerif/son/ocamlformat

sonmarcho · web-flow · commit 87a3a2f19ecd · 2025-06-05T16:07:20.000Z
Remove the version pin in charon-ml/.ocamlformat
diff --git a/charon-ml/.ocamlformat b/charon-ml/.ocamlformat
@@ -1,5 +1,4 @@
 profile = default
-version = 0.26.2
 margin = 80
 
 break-cases = fit-or-vertical
