diff --git a/.gitignore b/.gitignore
index 811fc6e9..85d4d798 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,4 @@ _opam
 .merlin
 *.install
 *.exe
+*.tmp