diff --git a/refinement/macaw-refinement.cabal b/refinement/macaw-refinement.cabal
index 21a89d51..467deaa4 100644
--- a/refinement/macaw-refinement.cabal
+++ b/refinement/macaw-refinement.cabal
@@ -61,7 +61,7 @@ library
                , macaw-ppc-symbolic
                , mtl
                , parameterized-utils
-               , prettyprinter
+               , prettyprinter >= 1.7
                , text
                , what4 >= 0.4.0
                , scheduler >= 1.4 && < 1.6
diff --git a/refinement/src/Data/Macaw/Refinement/Logging.hs b/refinement/src/Data/Macaw/Refinement/Logging.hs
index a60fa2d0..03cd9b54 100644
--- a/refinement/src/Data/Macaw/Refinement/Logging.hs
+++ b/refinement/src/Data/Macaw/Refinement/Logging.hs
@@ -8,7 +8,7 @@ module Data.Macaw.Refinement.Logging (
 import qualified Control.Exception as X
 import qualified Data.Macaw.CFG.Core as MC
 import qualified Data.Macaw.Memory as MM
-import qualified Data.Text.Prettyprint.Doc as PP
+import qualified Prettyprinter as PP
 import           Text.Printf ( printf )
 
 data RefinementLog arch = RefiningTransferAt (MC.ArchSegmentOff arch)