From c2168d7694f4de3bd44af90bf711c1814835d6a8 Mon Sep 17 00:00:00 2001 From: Romain Beauxis Date: Wed, 25 Oct 2023 18:26:29 -0500 Subject: [PATCH] Format. --- src/tooling/parsed_json.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tooling/parsed_json.ml b/src/tooling/parsed_json.ml index 094bb47c70..7d14757904 100644 --- a/src/tooling/parsed_json.ml +++ b/src/tooling/parsed_json.ml @@ -582,7 +582,7 @@ let rec to_json { pos; term; comments } : Json.t = ([("ast_comments", ast_comments); ("position", json_of_positions pos)] @ to_ast_json ~to_json term) -let parse_string ?(formatter=Format.err_formatter) content = +let parse_string ?(formatter = Format.err_formatter) content = let lexbuf = Sedlexing.Utf8.from_string content in let throw = Runtime.throw ~formatter lexbuf in try