diff --git a/.gitignore b/.gitignore
index 518f191a..9c5aaf74 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@ dist
 dist-newstyle
 test/build
 test/agda2hs
+test/agda2hs-mode
 *~
 docs/build/
 test/*.hs