From 6169f2c84e7af292b6dfe29842f10ce47f5761c8 Mon Sep 17 00:00:00 2001 From: Rob Dockins Date: Tue, 5 Nov 2019 11:34:27 -0800 Subject: [PATCH] Squash unused-import warnings --- what4-blt/src/What4/Solver/BLT.hs | 1 - what4/src/What4/Solver/Yices.hs | 1 - 2 files changed, 2 deletions(-) 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