diff --git a/.gitignore b/.gitignore
index 5563f89..3edc01a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,6 +19,8 @@ counterexamples
 *.synctex*
 *.zip
 
+*.tar
+
 # redundant files
 *_old.*