From c2e0e169bbc132a401795f781691e257ec2df62a Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Thu, 7 Dec 2023 20:09:23 +0100
Subject: [PATCH] Add `GobApron`  to goblint_lib.ml #1283

---
 src/goblint_lib.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/goblint_lib.ml b/src/goblint_lib.ml
index cdb37b1256..08691fa273 100644
--- 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} *)