diff --git a/.gitignore b/.gitignore
index 30df88b..39a9dce 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /target
+/proptest-regressions
 *.ff