diff --git a/src/goblint_lib.ml b/src/goblint_lib.ml
index 415fb21605..b63d804a2f 100644
--- a/src/goblint_lib.ml
+++ b/src/goblint_lib.ml
@@ -129,6 +129,7 @@ module BasePriv = BasePriv
 module RelationPriv = RelationPriv
 module ThreadEscape = ThreadEscape
 module PthreadSignals = PthreadSignals
+module PthreadBarriers = PthreadBarriers
 module ExtractPthread = ExtractPthread
 
 (** {2 Longjmp}