From dfe1f023b99246a5004ba4b8e0691979fa37b5b7 Mon Sep 17 00:00:00 2001 From: Brian Huffman Date: Thu, 14 Jan 2021 12:23:22 -0800 Subject: [PATCH] Remove redundant import from jvm-verifier. --- src/SAWScript/JavaExpr.hs | 1 - 1 file changed, 1 deletion(-) 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