1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 26f48e6e..377314b0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -46,6 +46,7 @@ lib/hol/sail-heap
 /test/lem/out.lem
 /test/lem/out_types.lem
 /test/*/tests.xml
+/test/riscv/tests/*.iout
 
 /language/*.pdf
 /language/*.uo