diff --git a/.gitignore b/.gitignore
index 63f354b..79a5844 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 _build
+*.conflicts
 
 *.byte
 *.cmi