1 files changed, 2 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 15cfd622..05d33563 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,8 @@
 *.cmx
 *.cma
 *.cmxa
+*.cmti
+*.cmt
 # Emacs saves
 *~
 # Executables and configuration