Index: tests/language/language_kernel.status |
diff --git a/tests/language/language_kernel.status b/tests/language/language_kernel.status |
index 8889950e81e0ee4908d7e4df4a8082d679015b83..41710e5308ff09744e0c3648f4e1de313a08cbec 100644 |
--- a/tests/language/language_kernel.status |
+++ b/tests/language/language_kernel.status |
@@ -275,4 +275,3 @@ regress_22728_test: RuntimeError |
regress_26133_test: RuntimeError |
type_parameter_test/05: MissingCompileTimeError |
type_parameter_test/none: RuntimeError |
-type_variable_bounds4_test/01: RuntimeError |
eernst
2017/09/04 17:04:59
Lost coverage: don't delete.
|