Reflect new type of readMem

GaloisInc · Aug 11, 2020 · 89de457 · 89de457
1 parent 86df2ea
commit 89de457
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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