Merge pull request #404 from GaloisInc/vr/expose-memInt

expose `memInt` in `Memory`
GaloisInc · Jul 23, 2024 · 4b38285 · 4b38285
2 parents 83d3907 + b380174
commit 4b38285
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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(..)