diff --git a/src/goblint_lib.ml b/src/goblint_lib.ml
index dadeb2cda1..a71a0c9684 100644
--- a/src/goblint_lib.ml
+++ b/src/goblint_lib.ml
@@ -23,6 +23,7 @@ module CfgTools = CfgTools
 module Analyses = Analyses
 module Constraints = Constraints
 module AnalysisState = AnalysisState
+module AnalysisStateUtil = AnalysisStateUtil
 module ControlSpecC = ControlSpecC
 
 (** Master control program (MCP) is the analysis specification for the dynamic product of activated analyses. *)