From eb674b70ec61db2bfd8738959e219a9cf9aa2457 Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Thu, 28 Sep 2023 10:42:07 +0200
Subject: [PATCH] Add MemOOB to `goblint_lib.ml` (PR #1094)

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

diff --git a/src/goblint_lib.ml b/src/goblint_lib.ml
index 625e81f18b..6e700485dd 100644
--- a/src/goblint_lib.ml
+++ b/src/goblint_lib.ml
@@ -85,6 +85,7 @@ module MallocFresh = MallocFresh
 module Malloc_null = Malloc_null
 module MemLeak = MemLeak
 module UseAfterFree = UseAfterFree
+module MemOutOfBounds = MemOutOfBounds
 
 (** {2 Concurrency}