From b380174c8bb3fc08b9a7c72eec755437b98661e0 Mon Sep 17 00:00:00 2001
From: Valentin Robert <val@galois.com>
Date: Tue, 23 Jul 2024 16:09:03 -0700
Subject: [PATCH] expose `memInt` in `Memory`

A future fix I'm going to submit would benefit from having this exposed,
and we believe this to be a good idea regardless.
---
 base/src/Data/Macaw/Memory.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/base/src/Data/Macaw/Memory.hs b/base/src/Data/Macaw/Memory.hs
index 6973af9e..fc28b30c 100644
--- a/base/src/Data/Macaw/Memory.hs
+++ b/base/src/Data/Macaw/Memory.hs
@@ -64,6 +64,7 @@ module Data.Macaw.Memory
   , addrRead
     -- * MemInt
   , MemInt
+  , memInt
   , memIntValue
     -- * Addresses
   , MemAddr(..)