chore: dune fmt

W95Psp · W95Psp · commit 1a071ac87052 · 2025-07-21T14:48:55.000+02:00
diff --git a/engine/lib/phases/phase_drop_metasized.ml b/engine/lib/phases/phase_drop_metasized.ml
@@ -1,4 +1,5 @@
-(** This phase gets rid of the MetaSized bound. See https://github.com/cryspen/hax/pull/1534. *)
+(** This phase gets rid of the MetaSized bound. See
+    https://github.com/cryspen/hax/pull/1534. *)
 
 open! Prelude
 
diff --git a/engine/lib/phases/phase_drop_metasized.mli b/engine/lib/phases/phase_drop_metasized.mli
@@ -1,4 +1,5 @@
-(** This phase gets rid of the MetaSized bound. See https://github.com/cryspen/hax/pull/1534. *)
+(** This phase gets rid of the MetaSized bound. See
+    https://github.com/cryspen/hax/pull/1534. *)
 
 open! Prelude
 
