diff --git a/.gitignore b/.gitignore
index 334369ae1b4cba4cc6a1ad1d30621516353de064..e0c831da8748657a7a273664248d6294754cfc16 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,5 +9,5 @@
 *~
 *.bak
 .coq-native/
-iris-project
+iris-enabled
 Makefile.coq