From 5ee48a225e69623f3bc53bdb140a69fbf348ed7f Mon Sep 17 00:00:00 2001 From: Lucas Franceschino Date: Mon, 29 Jul 2024 13:45:05 +0200 Subject: [PATCH] chore: dune fmt --- engine/lib/phases/phase_specialize.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/engine/lib/phases/phase_specialize.ml b/engine/lib/phases/phase_specialize.ml index 2b8ea9b36..42d42417d 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