| Index: tests/language/language.status
|
| diff --git a/tests/language/language.status b/tests/language/language.status
|
| index 349d737fd1d82e344d81f94d4c4624ed8bce0d6b..bfda5492ae8deff179f290e0fd2ef461b84dae66 100644
|
| --- a/tests/language/language.status
|
| +++ b/tests/language/language.status
|
| @@ -677,11 +677,9 @@ f_bounded_quantification_test/01: fail
|
| f_bounded_quantification_test/02: fail
|
| factory1_test/00: skip
|
| factory1_test/01: skip
|
| -factory2_negative_test: fail
|
| factory2_test: fail
|
| factory5_test/00: fail
|
| factory_implementation_test/00: skip
|
| -factory_negative_test: fail
|
| factory_redirection2_test/01: fail
|
| factory_redirection_test/04: fail
|
| factory_redirection_test/07: fail
|
|
|