diff --git a/crux.cabal b/crux.cabal
--- a/crux.cabal
+++ b/crux.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crux
-Version:       0.7
+Version:       0.7.1
 Copyright:     (c) Galois, Inc. 2018-2022
 Author:        sweirich@galois.com
 Maintainer:    rscott@galois.com, kquick@galois.com, langston@galois.com
diff --git a/src/Crux.hs b/src/Crux.hs
--- a/src/Crux.hs
+++ b/src/Crux.hs
@@ -74,7 +74,6 @@
 import qualified What4.Expr as WE
 import           What4.FunctionName (FunctionName)
 import           What4.Interface (IsExprBuilder, getConfiguration)
-import           What4.InterpretedFloatingPoint (IsInterpretedFloatExprBuilder)
 import           What4.Protocol.Online (OnlineSolver)
 import qualified What4.Solver as WS
 import           What4.Solver.CVC4 (cvc4Timeout)