Remove unused import

GaloisInc · May 14, 2021 · 4c204a9 · 4c204a9
1 parent 494b6c2
commit 4c204a9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/SAWScript/Prover/Exporter.hs b/src/SAWScript/Prover/Exporter.hs
@@ -93,7 +93,6 @@ import SAWScript.Prover.What4
 import SAWScript.Value
 
 import qualified What4.Expr.Builder as W4
-import qualified What4.Interface as W4
 import What4.Protocol.SMTLib2 (writeDefaultSMT2)
 import What4.Protocol.VerilogWriter (exprsVerilog)
 import What4.Solver.Adapter