Remove jvm-verifier package dependency from cabal file.

GaloisInc · Jan 20, 2021 · 9868848 · 9868848
1 parent dfe1f02
commit 9868848
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/saw-script.cabal b/saw-script.cabal
@@ -53,7 +53,6 @@ library
     , haskeline
     , IfElse
     , jvm-parser
-    , jvm-verifier
     , lens
     , llvm-pretty >= 0.8
     , llvm-pretty-bc-parser >= 0.1.3.1