Skip to content

Commit

Permalink
format: add optional root_directory
Browse files Browse the repository at this point in the history
  • Loading branch information
voodoos committed Jun 11, 2024
1 parent 33bbcdb commit 5658dd8
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 0 deletions.
1 change: 1 addition & 0 deletions src/index-format/index_format.ml
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@ type index = {
approximated : Lid_set.t Uid_map.t;
cu_shape : (string, Shape.t) Hashtbl.t;
stats : stat Stats.t;
root_directory: string option;
}

let pp_partials (fmt : Format.formatter) (partials : Lid_set.t Uid_map.t) =
Expand Down
1 change: 1 addition & 0 deletions src/index-format/index_format.mli
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@ type index = {
approximated : Lid_set.t Uid_map.t;
cu_shape : (string, Shape.t) Hashtbl.t;
stats : stat Stats.t;
root_directory: string option;
}

val pp : Format.formatter -> index -> unit
Expand Down

0 comments on commit 5658dd8

Please sign in to comment.