X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Flegacy_1%2Fdefinitions.ma;h=bcdc2a0a8b333b9baf2098ba5c400203f222da77;hb=e51d01099c08e9945ea093da6fcac353db7ca23c;hp=63fc8589059a60dfdc57868889e84b441270847a;hpb=53b8e2af661ad4165aa0b1deccd0a7522d96ce2e;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/legacy_1/definitions.ma b/matita/matita/contribs/lambdadelta/legacy_1/definitions.ma
index 63fc85890..bcdc2a0a8 100644
--- a/matita/matita/contribs/lambdadelta/legacy_1/definitions.ma
+++ b/matita/matita/contribs/lambdadelta/legacy_1/definitions.ma
@@ -14,5 +14,5 @@
 
 (* This file was automatically generated: do not edit *********************)
 
-include "Legacy-1/coq/defs.ma".
+include "legacy_1/coq/defs.ma".