Remove unused opens

goblint · Oct 11, 2022 · 74aab9d · 74aab9d
1 parent 7f84b27
commit 74aab9d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/src/framework/control.ml b/src/framework/control.ml
@@ -84,7 +84,6 @@ struct
     let live_nodes : unit NH.t = NH.create 10 in
     let count = ref 0 in (* Is only populated if "ana.dead-code.lines" or "ana.dead-code.branches" is true *)
     let module StringMap = BatMap.Make (String) in
-    let open BatPrintf in
     let live_lines = ref StringMap.empty in
     let dead_lines = ref StringMap.empty in
     let add_one n v =

diff --git a/src/witness/svcompSpec.ml b/src/witness/svcompSpec.ml
@@ -1,4 +1,3 @@
-open GoblintCil
 open Batteries
 
 type t =