diff --git a/.gitignore b/.gitignore
index 81b6c8645..1be327a8b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -44,3 +44,4 @@ local/
 
 # Generated files
 compile_commands.json
+python/smt_switch/smt_solvers.px[di]