diff --git a/test/AllFailTests.agda b/test/AllFailTests.agda
index 24deabc8..4a5ff11c 100644
--- a/test/AllFailTests.agda
+++ b/test/AllFailTests.agda
@@ -8,6 +8,7 @@ import Fail.NewTypeRecordTwoFields
 import Fail.Issue150
 import Fail.NonCopatternInstance
 import Fail.Issue113a
+import Fail.Issue119
 import Fail.NonStarRecordIndex
 import Fail.ErasedRecordParameter
 import Fail.Issue146