GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 00:42:28 +03:00
Code Issues Projects Releases Wiki Activity

Remove an unused value

Browse Source
This commit is contained in:
Tristan Ravitch 2017-11-06 10:13:49 -08:00
parent 0ed78396cf
commit e2e3744808
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
macaw-ppc/src/Data/Macaw/PPC/Generator.hs
View File

@ -283,9 +283,6 @@ finishWithTerminator term =
return GenResult { resBlockSeq = s0 ^. blockSeq & frontierBlocks %~ (Seq.|> fin_block)
, resState = Nothing
}
where
ptrRep :: NR.NatRepr (RegAddrWidth (PPCReg ppc))
ptrRep = NR.knownNat
-- | Convert the contents of a 'PreBlock' (a block being constructed) into a
-- full-fledged 'Block'