mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-28 01:35:33 +03:00
Fix a haddock syntax error
This commit is contained in:
parent
f758db30a6
commit
84689e9861
@ -110,7 +110,7 @@ lookupBlock m lbl = do
|
||||
-- | This describes why an address was marked as containing code.
|
||||
data CodeAddrReason w
|
||||
-- = LabelAddr !(SegmentedAddr w)
|
||||
-- ^ Segmented address with start of block
|
||||
-- Segmented address with start of block
|
||||
= InWrite !(SegmentedAddr w)
|
||||
-- ^ Exploring because the given block writes it to memory.
|
||||
-- | ReturnAddress !(BlockLabel w)
|
||||
|
Loading…
Reference in New Issue
Block a user