Add GobApron to goblint_lib.ml #1283

goblint · Dec 7, 2023 · c2e0e16 · c2e0e16
1 parent 6be8d60
commit c2e0e16
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/goblint_lib.ml b/src/goblint_lib.ml
@@ -441,6 +441,7 @@ module WideningThresholds = WideningThresholds
 
 module VectorMatrix = VectorMatrix
 module SharedFunctions = SharedFunctions
+module GobApron = GobApron
 
 (** {2 Precision comparison} *)