Skip to content

Commit

Permalink
Merge pull request #366 from GaloisInc/vr/fix-doc
Browse files Browse the repository at this point in the history
fix incorrect documentation
  • Loading branch information
Ptival authored Jan 23, 2024
2 parents 9d8cdcc + 8569727 commit e1d0846
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion base/src/Data/Macaw/AbsDomain/AbsState.hs
Original file line number Diff line number Diff line change
Expand Up @@ -1177,7 +1177,7 @@ setAbsIP a b
------------------------------------------------------------------------
-- AbsProcessorState

-- | The absolute value associated with a given architecture.
-- | The type of abstract values associated with a given architecture.
--
-- This is only a function of the address width.
type ArchAbsValue arch = AbsValue (ArchAddrWidth arch)
Expand Down

0 comments on commit e1d0846

Please sign in to comment.