From 89de45789ddeeceee18fdab8b35be972bcee6e39 Mon Sep 17 00:00:00 2001
From: Samuel Breese <samuel@chame.co>
Date: Mon, 10 Aug 2020 21:20:29 -0400
Subject: [PATCH] Reflect new type of readMem

---
 crucible-llvm/src/Lang/Crucible/LLVM/ArraySizeProfile.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crucible-llvm/src/Lang/Crucible/LLVM/ArraySizeProfile.hs b/crucible-llvm/src/Lang/Crucible/LLVM/ArraySizeProfile.hs
index 518e0efe8..2a93cde32 100644
--- a/crucible-llvm/src/Lang/Crucible/LLVM/ArraySizeProfile.hs
+++ b/crucible-llvm/src/Lang/Crucible/LLVM/ArraySizeProfile.hs
@@ -121,7 +121,7 @@ ptrIsInitialized ::
   C.LLVMPtr sym w ->
   IO Bool
 ptrIsInitialized sym mem ptr =
-  G.readMem sym C.PtrWidth ptr (C.bitvectorType 1) C.noAlignment mem >>= \case
+  G.readMem sym C.PtrWidth Nothing ptr (C.bitvectorType 1) C.noAlignment mem >>= \case
   C.NoErr{} -> pure True
   _ -> pure False