Avoid unused value warning on LibraryFunctions.all_library_descs

goblint · Jun 18, 2024 · 4812b07 · 4812b07
1 parent 0242316
commit 4812b07
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/library/libraryFunctions.ml b/src/util/library/libraryFunctions.ml
@@ -1246,7 +1246,7 @@ let libraries =
       descs_tbl
     ) libraries
 
-let all_library_descs: (string, LibraryDesc.t) Hashtbl.t =
+let _all_library_descs: (string, LibraryDesc.t) Hashtbl.t =
   Hashtbl.fold (fun _ descs_tbl acc ->
       Hashtbl.merge (fun name desc1 desc2 ->
           match desc1, desc2 with