--- a/what4.cabal
+++ b/what4.cabal
@@ -387,14 +387,3 @@ test-suite template_tests
                , libBF
                , transformers
 
-
-test-suite solver_parsing_tests
-  import: bldflags, testdefs-hunit
-  type: exitcode-stdio-1.0
-  main-is : SolverParserTest.hs
-  build-depends: contravariant
-               , exceptions
-               , io-streams
-               , lumberjack
-               , tasty-sugar >= 1.1 && < 1.2
-               , text
