diff --git a/bin/.gitignore b/bin/.gitignore
index 935ab53b1..cc3b3e67b 100644
--- a/bin/.gitignore
+++ b/bin/.gitignore
@@ -9,6 +9,7 @@ ltlcross
 ltldo
 ltlfilt
 ltlgrind
+ltlmix
 ltlsynt
 randaut
 randltl