From c4e3509d18ed9eb95edc93e091b1acf468ff2cd4 Mon Sep 17 00:00:00 2001
From: Antoine Martin <amartin@lrde.epita.fr>
Date: Fri, 7 Mar 2025 10:28:43 +0100
Subject: [PATCH] * bin/.gitignore: Add ltlmix to gitignore

---
 bin/.gitignore | 1 +
 1 file changed, 1 insertion(+)

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