From ed4446e2ef571211e747474a7302f091c2b3b8c2 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 20 Aug 2021 19:53:13 +0200
Subject: [PATCH] lint
---
src/plugins/value/values/numerors/numerors_float.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/value/values/numerors/numerors_float.ml b/src/plugins/value/values/numerors/numerors_float.ml
index e314cef6c12..b3816466d61 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
--
GitLab