From 5e15341857e57671a3c617579e3d5dcc89040936 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 10 Jan 2025 22:06:06 +0100 Subject: Print the float numbers using the user locale --- lib/configuration/dune | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/configuration/dune') diff --git a/lib/configuration/dune b/lib/configuration/dune index 27d31a6..b08e9bd 100755 --- a/lib/configuration/dune +++ b/lib/configuration/dune @@ -12,6 +12,7 @@ importExpression importErrors ) + (foreign_stubs (language c) (names locale)) (preprocess (pps ppx_yojson_conv ppx_deriving.ord)) ) -- cgit v1.2.3