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

Replace deprecated prettyprinter import with modern equivalent

Browse Source 
Also bump the lower version bounds on `prettyprinter`.
This commit is contained in:
Ryan Scott 2022-01-10 14:42:25 -05:00 committed by Ryan Scott
parent ce10bc9243
commit 729c65054b
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
refinement/macaw-refinement.cabal
View File

@ -61,7 +61,7 @@ library
, macaw-ppc-symbolic , macaw-ppc-symbolic
, mtl , mtl
, parameterized-utils , parameterized-utils
, prettyprinter , prettyprinter >= 1.7
, text , text
, what4 >= 0.4.0 , what4 >= 0.4.0
, scheduler >= 1.4 && < 1.6 , scheduler >= 1.4 && < 1.6

2
refinement/src/Data/Macaw/Refinement/Logging.hs
View File

@ -8,7 +8,7 @@ module Data.Macaw.Refinement.Logging (
import qualified Control.Exception as X import qualified Control.Exception as X
import qualified Data.Macaw.CFG.Core as MC import qualified Data.Macaw.CFG.Core as MC
import qualified Data.Macaw.Memory as MM import qualified Data.Macaw.Memory as MM
import qualified Data.Text.Prettyprint.Doc as PP import qualified Prettyprinter as PP
import Text.Printf ( printf ) import Text.Printf ( printf )
data RefinementLog arch = RefiningTransferAt (MC.ArchSegmentOff arch) data RefinementLog arch = RefiningTransferAt (MC.ArchSegmentOff arch)