diff --git a/.gitignore b/.gitignore
index 2ab798b..03abf2c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,4 @@ Makefile.coq
 *.v.d
 *.vo
 frap.tgz
+*.dir-locals.el
\ No newline at end of file