diff --git a/.gitignore b/.gitignore
index fbd07ba..5ea77bc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@ repro*/
 __pycache__
 scratch
 .vscode
+tmp