update in basic_2

[helm.git] / matita / matita / contribs / lambdadelta / legacy_1 / definitions.ma

diff --git a/matita/matita/contribs/lambdadelta/legacy_1/definitions.ma b/matita/matita/contribs/lambdadelta/legacy_1/definitions.ma
index 63fc8589059a60dfdc57868889e84b441270847a..bcdc2a0a8b333b9baf2098ba5c400203f222da77 100644 (file)
--- 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".