chore: dune fmt

hacspec · Jul 29, 2024 · 90c8b0e · 90c8b0e
1 parent 7e5d4b5
commit 90c8b0e
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/engine/lib/phases/phase_specialize.ml b/engine/lib/phases/phase_specialize.ml
@@ -84,8 +84,7 @@ module Make (F : Features.T) =
               Rust_primitives__hax__int__div;
             int_int_any Core__ops__arith__Rem__rem
               Rust_primitives__hax__int__rem;
-            int_any Core__ops__arith__Neg__neg
-              Rust_primitives__hax__int__neg;
+            int_any Core__ops__arith__Neg__neg Rust_primitives__hax__int__neg;
             rint_rint_any Core__cmp__PartialOrd__gt
               Rust_primitives__hax__int__gt;
             rint_rint_any Core__cmp__PartialOrd__ge