diff --git a/.gitignore b/.gitignore
index 1e2145660d..56364c34ca 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,8 @@
 *.[oa]
 *.out
 
+*~
+
 *.pyc
 
 *.cmo