diff --git a/src/SAWScript/JavaExpr.hs b/src/SAWScript/JavaExpr.hs
index ae1c4c7b00..836b3b5a89 100644
--- a/src/SAWScript/JavaExpr.hs
+++ b/src/SAWScript/JavaExpr.hs
@@ -73,7 +73,6 @@ import qualified Data.Vector as V
 import Text.Read hiding (lift)
 
 import Lang.JVM.Codebase as JSS
-import Verifier.Java.SAWBackend hiding (basic_ss)
 
 import Verifier.SAW.Cryptol
 import Verifier.SAW.Recognizer