diff --git a/what4-blt/src/What4/Solver/BLT.hs b/what4-blt/src/What4/Solver/BLT.hs
index 8b89a487..19952555 100644
--- a/what4-blt/src/What4/Solver/BLT.hs
+++ b/what4-blt/src/What4/Solver/BLT.hs
@@ -96,7 +96,6 @@ import qualified What4.Expr.WeightedSum as WSum
 import           What4.Solver.Adapter
 import qualified What4.Utils.AbstractDomains as AD
 import           What4.Utils.Complex
-import           What4.Utils.StringLiteral
 
 import           BLT.Binding
 
diff --git a/what4/src/What4/Solver/Yices.hs b/what4/src/What4/Solver/Yices.hs
index 938352e9..50b75d0d 100644
--- a/what4/src/What4/Solver/Yices.hs
+++ b/what4/src/What4/Solver/Yices.hs
@@ -113,7 +113,6 @@ import           What4.Protocol.Online
 import qualified What4.Protocol.PolyRoot as Root
 import           What4.Utils.HandleReader
 import           What4.Utils.Process
-import           What4.Utils.StringLiteral
 
 import Prelude