diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2025-01-10 22:06:06 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2025-01-22 12:22:26 +0100 |
| commit | 5e15341857e57671a3c617579e3d5dcc89040936 (patch) | |
| tree | 8d90ea72c77ccef7f6b6d5eba199204ce01b27d6 /lib/configuration/of_json.ml | |
| parent | 413b86050e364db51eb4f1bb095f70b141c02919 (diff) | |
Print the float numbers using the user locale
Diffstat (limited to 'lib/configuration/of_json.ml')
| -rw-r--r-- | lib/configuration/of_json.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/configuration/of_json.ml b/lib/configuration/of_json.ml index e6ee7a4..6ac59a2 100644 --- a/lib/configuration/of_json.ml +++ b/lib/configuration/of_json.ml @@ -123,6 +123,7 @@ let yojson_of_predicate () = `Null type t = Syntax.t = { version : int; [@default current_syntax] + locale : string option; source : table; externals : syntax_v1_extern list; [@default []] columns : path expression list; |