diff --git a/engine/lib/phases/phase_specialize.ml b/engine/lib/phases/phase_specialize.ml
index 13bfeb748..3af3047ad 100644
--- 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