From 4c204a9f8f45796a0f7b98c7750ada7466cfd8c7 Mon Sep 17 00:00:00 2001 From: Aaron Tomb Date: Fri, 14 May 2021 15:52:56 -0700 Subject: [PATCH] Remove unused import --- src/SAWScript/Prover/Exporter.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/SAWScript/Prover/Exporter.hs b/src/SAWScript/Prover/Exporter.hs index c69c9b8518..1169b4ddfe 100644 --- 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