Move LoopTermination in Goblint_lib to analyses/other section.

goblint · Nov 15, 2023 · a466650 · a466650
1 parent cbe4ad0
commit a466650
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/goblint_lib.ml b/src/goblint_lib.ml
@@ -124,7 +124,6 @@ module RelationPriv = RelationPriv
 module ThreadEscape = ThreadEscape
 module PthreadSignals = PthreadSignals
 module ExtractPthread = ExtractPthread
-module LoopTermination = LoopTermination
 
 (** {2 Longjmp}
 
@@ -149,6 +148,7 @@ module UnitAnalysis = UnitAnalysis
 
 module Assert = Assert
 module FileUse = FileUse
+module LoopTermination = LoopTermination
 module Uninit = Uninit
 module Expsplit = Expsplit
 module StackTrace = StackTrace