From 6aeff85d38b10684b10a1aa591beb06af6093d4f Mon Sep 17 00:00:00 2001
From: Matthew Yacavone <matthew@yacavone.net>
Date: Tue, 1 Mar 2022 11:40:35 -0800
Subject: [PATCH] resolve warning

---
 src/SAWScript/Prover/MRSolver/Solver.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/SAWScript/Prover/MRSolver/Solver.hs b/src/SAWScript/Prover/MRSolver/Solver.hs
index 39b05c4d12..9b1cdae90a 100644
--- a/src/SAWScript/Prover/MRSolver/Solver.hs
+++ b/src/SAWScript/Prover/MRSolver/Solver.hs
@@ -122,7 +122,6 @@ import qualified Data.Map as Map
 import Verifier.SAW.Term.Functor
 import Verifier.SAW.SharedTerm
 import Verifier.SAW.Recognizer
-import Verifier.SAW.Term.Pretty
 
 import SAWScript.Prover.MRSolver.Term
 import SAWScript.Prover.MRSolver.Monad