1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index ffdea1320c..50ed772be3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,4 @@ Makefile.coq.conf
 *.o
 *.a
 *.aux
+tests/*.log