diff --git a/mypy.ini b/mypy.ini
index 976ba029..248a5b65 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -1,2 +1,3 @@
 [mypy]
 ignore_missing_imports = True
+exclude = polytracker/src/compiler-rt