ocaml 3.09 transition

[helm.git] / helm / coq-contribs / LAMBDA-TYPES / ty0_subst0.v

diff --git a/helm/coq-contribs/LAMBDA-TYPES/ty0_subst0.v b/helm/coq-contribs/LAMBDA-TYPES/ty0_subst0.v
index 1da24f50000adf8c4efd8bdd0d412da67f605212..ffd80110bf4c0dc6591540932d98f980b92a8476 100644 (file)
--- a/helm/coq-contribs/LAMBDA-TYPES/ty0_subst0.v
+++ b/helm/coq-contribs/LAMBDA-TYPES/ty0_subst0.v
@@ -4,6 +4,7 @@ Require fsubst0_defs.
 Require pc3_props.
 Require pc3_subst0.
 Require ty0_defs.
+Require ty0_gen.
 Require ty0_lift.
 Require ty0_props.