diff --git a/.gitignore b/.gitignore
index 5bfc180d4d58e..23e9ce434bad4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -45,7 +45,7 @@ package-lock.json
 # Tools
 ## Kani
 *.out
-
+kani-list.*
 
 # Added by cargo
 #