--- a/what4.cabal
+++ b/what4.cabal
@@ -412,18 +412,6 @@ 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 >= 2.0 && < 2.3
-               , text
-
 test-suite what4-serialize-tests
   default-language: Haskell2010
   type: exitcode-stdio-1.0
