Skip to content

Commit

Permalink
lint
Browse files Browse the repository at this point in the history
  • Loading branch information
PizieDust committed Apr 4, 2024
1 parent 9868711 commit 02cba86
Showing 1 changed file with 6 additions and 2 deletions.
8 changes: 6 additions & 2 deletions src/kernel/mbrowse.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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 ();
Expand Down

0 comments on commit 02cba86

Please sign in to comment.