diff --git a/proj/scala-typed-holes.conf b/proj/scala-typed-holes.conf
index 8a3cb5727..0a0ab940d 100644
--- a/proj/scala-typed-holes.conf
+++ b/proj/scala-typed-holes.conf
@@ -4,5 +4,5 @@ vars.proj.scala-typed-holes: ${vars.base} {
   name: "scala-typed-holes"
   uri: "https://github.com/cb372/scala-typed-holes.git#7caebf1b43d5dd993df2f5eb20071bb1c6467588"
 
-  extra.exclude: ["docs"]
+  extra.exclude: ["docs", "*-3"]
 }