Remove unused opens in assert analysis

sim642 · sim642 · commit 4351bd41393d · 2026-05-04T09:44:16.000+03:00
diff --git a/src/analyses/assert.ml b/src/analyses/assert.ml
@@ -1,9 +1,7 @@
 (** Analysis of [assert] results ([assert]). *)
 
-open Batteries
 open GoblintCil
 open Analyses
-open GobConfig
 
 module Spec : Analyses.MCPSpec =
 struct
