diff options
Diffstat (limited to 'test/regress/regress0/fmf/Makefile.am')
-rw-r--r-- | test/regress/regress0/fmf/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/regress/regress0/fmf/Makefile.am b/test/regress/regress0/fmf/Makefile.am index b7daadfd1..c10b3c668 100644 --- a/test/regress/regress0/fmf/Makefile.am +++ b/test/regress/regress0/fmf/Makefile.am @@ -53,7 +53,6 @@ TESTS = \ nun-0208-to.smt2 \ datatypes-ufinite.smt2 \ datatypes-ufinite-nested.smt2 \ - ForElimination-scala-9.smt2 \ agree466.smt2 \ LeftistHeap.scala-8-ncm.smt2 \ sc-crash-052316.smt2 \ |