diff --git a/.gitignore b/.gitignore
index 50528b3d0..5ffb0874c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@ rebase.cmd
 callgrind.out.*
 # .hpp files are automatically generated
 *.hpp
+.env
 .z3-trace
 # OCaml generated files
 *.a