update in basic_2

[helm.git] / matita / matita / contribs / lambdadelta / ground_1 / preamble.ma

diff --git a/matita/matita/contribs/lambdadelta/ground_1/preamble.ma b/matita/matita/contribs/lambdadelta/ground_1/preamble.ma
index 16ff2dc44be463bdda4863cd1fc716b537a0e211..b19f254442b5cff9f9209c5c4b83c733bbf8aafd 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground_1/preamble.ma
+++ b/matita/matita/contribs/lambdadelta/ground_1/preamble.ma
@@ -12,4 +12,4 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "Legacy-1/theory.ma".
+include "legacy_1/theory.ma".