diff --git a/.gitignore b/.gitignore
index 530225abd..17cf0ef0b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -58,9 +58,9 @@ config.cache
 *.json
 *.fdb_latexmk
 *.xz
-dt*ba-sat.cnf
-dt*ba-sat.out
-dt*ba-sat.dbg
+dt*a-sat.cnf
+dt*a-sat.out
+dt*a-sat.dbg
 *.exe
 *.tex
 *.out