Fix unused open in multilibConfigure

goblint · Nov 28, 2024 · 7170d9a · 7170d9a
1 parent eb9ee51
commit 7170d9a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/util/multilibConfigure.ml b/tests/util/multilibConfigure.ml
@@ -1,4 +1,4 @@
 open GoblintCil
 
 let () =
-  Printf.printf "%B" (Option.is_some GoblintCil.Machdep.gcc32 && Option.is_some GoblintCil.Machdep.gcc64)
+  Printf.printf "%B" (Option.is_some Machdep.gcc32 && Option.is_some Machdep.gcc64)