Skip to content

Commit 5cc4811

Browse files
committed
Fix library function duplicate check indentation (PR #1213)
1 parent 7f631c6 commit 5cc4811

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

src/analyses/libraryFunctions.ml

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1047,11 +1047,11 @@ let all_library_descs: (string, LibraryDesc.t) Hashtbl.t =
10471047
let activated_library_descs: (string, LibraryDesc.t) Hashtbl.t ResettableLazy.t =
10481048
let union =
10491049
Hashtbl.merge (fun _ desc1 desc2 ->
1050-
match desc1, desc2 with
1051-
| (Some _ as desc), None
1052-
| None, (Some _ as desc) -> desc
1053-
| _, _ -> assert false
1054-
)
1050+
match desc1, desc2 with
1051+
| (Some _ as desc), None
1052+
| None, (Some _ as desc) -> desc
1053+
| _, _ -> assert false
1054+
)
10551055
in
10561056
ResettableLazy.from_fun (fun () ->
10571057
GobConfig.get_string_list "lib.activated"

0 commit comments

Comments
 (0)