summaryrefslogtreecommitdiff
path: root/ocamlbuild/test/test6/d.mli.v1
diff options
context:
space:
mode:
Diffstat (limited to 'ocamlbuild/test/test6/d.mli.v1')
-rw-r--r--ocamlbuild/test/test6/d.mli.v12
1 files changed, 2 insertions, 0 deletions
diff --git a/ocamlbuild/test/test6/d.mli.v1 b/ocamlbuild/test/test6/d.mli.v1
new file mode 100644
index 0000000000..12fea1c160
--- /dev/null
+++ b/ocamlbuild/test/test6/d.mli.v1
@@ -0,0 +1,2 @@
+type t
+val d : 'a -> 'a