Add AnalysisStateUtil to goblint_lib.ml (#1201)

goblint · Oct 14, 2023 · fe36915 · fe36915
1 parent ca6fcba
commit fe36915
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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. *)