From 02cba86da09fe85ed16cee64abc12d3860b49f18 Mon Sep 17 00:00:00 2001 From: PizieDust Date: Thu, 4 Apr 2024 08:21:32 +0100 Subject: [PATCH] lint --- src/kernel/mbrowse.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/kernel/mbrowse.ml b/src/kernel/mbrowse.ml index 9f42ea5d8..f4362e49c 100644 --- a/src/kernel/mbrowse.ml +++ b/src/kernel/mbrowse.ml @@ -300,8 +300,12 @@ let get_children pos root = let pprint_deriver_node () node = let ppf, to_string = Format.to_string () in begin match node with - | Browse_raw.Structure_item (n,_) -> Pprintast.structure_item ppf (Untypeast.untype_structure_item n) - | Browse_raw.Signature_item (n,_) -> Pprintast.signature_item ppf (Untypeast.untype_signature_item n) + | Browse_raw.Structure_item (n,_) -> + Pprintast.structure_item ppf + (Untypeast.untype_structure_item n) + | Browse_raw.Signature_item (n,_) -> + Pprintast.signature_item ppf + (Untypeast.untype_signature_item n) | _ -> raise (Invalid_argument "Wrong nodes") end; Format.pp_print_newline ppf ();