diff --git a/test/AllFailTests.agda b/test/AllFailTests.agda
index dc67796b..55dbb733 100644
--- a/test/AllFailTests.agda
+++ b/test/AllFailTests.agda
@@ -36,3 +36,4 @@ import Fail.NonStarDatatypeIndex
 import Fail.NonCanonicalSpecialFunction
 import Fail.TypeLambda
 import Fail.NonCanonicalSuperclass
+import Fail.Issue125