diff --git a/.gitignore b/.gitignore
index c68645b..e6e36c7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 bench
 bench_ecmult
 bench_internal
+noverify_tests
 tests
 exhaustive_tests
 precompute_ecmult_gen