CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Restore formatting

Browse Source
This commit is contained in:
Denis Merigoux 2024-05-03 13:55:19 +02:00
parent c864f658c8
commit da89411189
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/catala_utils/pos.ml
View File

@ -245,7 +245,11 @@ let format_loc_text ppf t =
Format.pp_open_vbox ppf 0; Format.pp_open_vbox ppf 0;
pr_head ppf; pr_head ppf;
pr_context ppf; pr_context ppf;
Option.iter (fun f -> Format.pp_print_cut ppf (); f ppf) pr_legal; Option.iter
(fun f ->
Format.pp_print_cut ppf ();
f ppf)
pr_legal;
Format.pp_close_box ppf () Format.pp_close_box ppf ()
let no_pos : t = let no_pos : t =