GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-10-06 08:30:33 +03:00
Code Issues Projects Releases Wiki Activity

Squash unused-import warnings

Browse Source
This commit is contained in:
Rob Dockins 2019-11-05 11:34:27 -08:00
parent 47abaddbb8
commit 6169f2c84e
2 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
what4-blt/src/What4/Solver/BLT.hs
View File

@ -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

1
what4/src/What4/Solver/Yices.hs
View File

@ -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