1 files changed, 0 insertions, 1 deletions

diff --git a/.gitignore b/.gitignore
index 5574171..174fc31 100644
--- a/.gitignore
+++ b/.gitignore
@@ -79,7 +79,6 @@ obj_dir/
 /*.v
 
 .direnv/
-.envrc
 
 creduce_bug_*/