diff --git a/.gitignore b/.gitignore
index 73dde0f..fe7c38a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,7 +30,6 @@ _build/
 /stamp-h1
 *.so
 /stdcompat__stubs.c
-/stdcompat__domain.mli.in
 /stdcompat_tests
 /tools/stdcompatpp.ml
 /tools/stdcompatpp