Fix library function duplicate check indentation (PR #1213)

goblint · Oct 10, 2023 · 5cc4811 · 5cc4811
1 parent 7f631c6
commit 5cc4811
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/analyses/libraryFunctions.ml b/src/analyses/libraryFunctions.ml
@@ -1047,11 +1047,11 @@ let all_library_descs: (string, LibraryDesc.t) Hashtbl.t =
 let activated_library_descs: (string, LibraryDesc.t) Hashtbl.t ResettableLazy.t =
   let union =
     Hashtbl.merge (fun _ desc1 desc2 ->
-      match desc1, desc2 with
-      | (Some _ as desc), None
-      | None, (Some _ as desc) -> desc
-      | _, _ -> assert false
-    )
+        match desc1, desc2 with
+        | (Some _ as desc), None
+        | None, (Some _ as desc) -> desc
+        | _, _ -> assert false
+      )
   in
   ResettableLazy.from_fun (fun () ->
       GobConfig.get_string_list "lib.activated"