Rm old Termination also from goblint_lib.ml

goblint · Nov 1, 2023 · 67cc037 · 67cc037
1 parent cf22550
commit 67cc037
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/goblint_lib.ml b/src/goblint_lib.ml
@@ -149,7 +149,6 @@ module UnitAnalysis = UnitAnalysis
 module Assert = Assert
 module FileUse = FileUse
 module Uninit = Uninit
-module Termination = Termination
 module Expsplit = Expsplit
 module StackTrace = StackTrace
 module Spec = Spec