diff --git a/dependencies/stdcompat/stdcompat__domain.mli.in b/dependencies/stdcompat/stdcompat__domain.mli.in
new file mode 100644
index 0000000000..e90558360d
--- /dev/null
+++ b/dependencies/stdcompat/stdcompat__domain.mli.in
@@ -0,0 +1 @@
+include Stdcompat__domain_s.S