From 9e42a91553ccb6cf0f566ffdd4761c3a1a521876 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 28 Jan 2025 16:17:33 +0100
Subject: [PATCH] [lib] fix Json printer for floating points x.0
---
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 52187b0c69..86f2d0cf66 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 -> pp_print_float fmt f
+ | `Float f -> Format.fprintf fmt "%g" f
| `List [] -> pp_print_string fmt "[]"
| `List (e::es) ->
Format.fprintf fmt "@[<hov 2>[ %a" pp e ;
--
GitLab