diff --git a/.gitignore b/.gitignore
index 85f39e57b..6c14091bb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 _build
 *.install
 *.merlin
+_opam