diff --git a/tests/various/.gitignore b/tests/various/.gitignore
index 9296a04c0..1431c4096 100644
--- a/tests/various/.gitignore
+++ b/tests/various/.gitignore
@@ -9,3 +9,4 @@
 /temp
 /smtlib2_module.smt2
 /smtlib2_module-filtered.smt2
+/*.aig