Add MemOOB to goblint_lib.ml (PR #1094)

goblint · Sep 28, 2023 · eb674b7 · eb674b7
1 parent 6701f5d
commit eb674b7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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}