Remove jvm-verifier package dependency from cabal file.

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