diff --git a/mfilterjavac/.gitignore b/mfilterjavac/.gitignore
index 379919cd4..c84bc9f2d 100644
--- a/mfilterjavac/.gitignore
+++ b/mfilterjavac/.gitignore
@@ -6,6 +6,7 @@ mfilterjavac
 *.dep
 *.dv
 *.mh
+*.mih
 *.o
 *.err
 *.exe