diff --git a/.gitignore b/.gitignore
index ba20ddf634a4d9ef404b81f0346fa00b2bd8f980..c730201f35c63c872da0fa23f5c5418477e6768c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,4 @@ Makefile.coq
 Makefile.coq.conf
 .coq-native/
 build-dep
+_opam