update in basic_2

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

diff --git a/matita/matita/contribs/lambdadelta/legacy_1/theory.ma b/matita/matita/contribs/lambdadelta/legacy_1/theory.ma
index 4ee597e096a66e1471a7802315370a268b290a6f..17a1ec960eb55903a77526221ac90855f0e915a7 100644 (file)
--- a/matita/matita/contribs/lambdadelta/legacy_1/theory.ma
+++ b/matita/matita/contribs/lambdadelta/legacy_1/theory.ma
@@ -14,5 +14,5 @@
 
 (* This file was automatically generated: do not edit *********************)
 
-include "Legacy-1/coq/props.ma".
+include "legacy_1/coq/props.ma".