From 4451051463323692b420ab9e8a151c622cd7840b Mon Sep 17 00:00:00 2001
From: Seb Hinderer <sebastien.hinderer@inria.fr>
Date: Wed, 20 Aug 2025 09:16:17 +0200
Subject: [PATCH] Do not ignore stdcompat__domain.mli.in

It was wrong to ignore this file as it is fully part of the
distribution and is not even generated
---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

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