diff --git a/src/plugins/value/values/numerors/numerors_float.ml b/src/plugins/value/values/numerors/numerors_float.ml
index e314cef6c12a8f52ef51041b6da7e96c6cc96f85..b3816466d613ffa59d20e3cb82ac9b2440565814 100644
--- a/src/plugins/value/values/numerors/numerors_float.ml
+++ b/src/plugins/value/values/numerors/numerors_float.ml
@@ -75,8 +75,8 @@ let change_prec ?(rnd = Mpfr.Near) prec (p, x) =
    calling the unary function f on an input of type t *)
 let unary_mpfrf f =
   fun ?(rnd = Rounding.Near) ?(prec = P.Real) x ->
-  prec >>- fun () ->
-  f (change_prec prec x) (rounding rnd)
+    prec >>- fun () ->
+    f (change_prec prec x) (rounding rnd)
 
 (* Returns a function which apply the rounding of its optionnal parameter rnd
    and change the precision according to its optionnal parameter prec before