From ff7b273093dc16b2cb1dd57c3b918bc4ee3f4b79 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 30 Jan 2025 10:02:16 +0000
Subject: [PATCH] Limit the number of decimals
---
src/libraries/utils/json.mll | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/libraries/utils/json.mll b/src/libraries/utils/json.mll
index 86f2d0cf66..eb978dac10 100644
--- a/src/libraries/utils/json.mll
+++ b/src/libraries/utils/json.mll
@@ -167,7 +167,7 @@ let rec pp fmt v = let open Format in
| `Bool b -> pp_print_bool fmt b
| `String s -> fprintf fmt "%S" s
| `Int a -> pp_print_int fmt a
- | `Float f -> Format.fprintf fmt "%g" f
+ | `Float f -> Format.fprintf fmt "%.3g" f
| `List [] -> pp_print_string fmt "[]"
| `List (e::es) ->
Format.fprintf fmt "@[<hov 2>[ %a" pp e ;
--
GitLab