diff --git a/src/goblint_lib.ml b/src/goblint_lib.ml
index e1087f8fc9..e06f5fd245 100644
--- a/src/goblint_lib.ml
+++ b/src/goblint_lib.ml
@@ -124,6 +124,7 @@ module RelationPriv = RelationPriv
 module ThreadEscape = ThreadEscape
 module PthreadSignals = PthreadSignals
 module ExtractPthread = ExtractPthread
+module LoopTermination = LoopTermination
 
 (** {2 Longjmp}
 
@@ -338,6 +339,7 @@ module Tracing = Tracing
 module Preprocessor = Preprocessor
 module CompilationDatabase = CompilationDatabase
 module MakefileUtil = MakefileUtil
+module TerminationPreprocessing = TerminationPreprocessing
 
 (** {2 Witnesses}