diff --git a/.gitignore b/.gitignore
index ffd5a61609c31f949ac82df6ebb251113e23250b..e0a90a616458144f6a50e14980bc66911eeac522 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,6 +12,7 @@ tests/**/*.lex
 tests/**/*.linear
 tests/**/*.linear1
 tests/**/*.ltl
+tests/**/*.rig
 tests/**/*.rtl
 tests/**/*.s
 tests/**/*.svg