Fixed w.r.t. new yelp.

[helm.git] / matita / matita / contribs / lambda_delta / basic_2 / computation / lsubc_ldrops.ma

diff --git a/matita/matita/contribs/lambda_delta/basic_2/computation/lsubc_ldrops.ma b/matita/matita/contribs/lambda_delta/basic_2/computation/lsubc_ldrops.ma
index 95879a234de132f5f2dbf56396c3bf3754ebd50a..a61272c732115dc2ea02dc049eac72041ef427a3 100644 (file)
--- a/matita/matita/contribs/lambda_delta/basic_2/computation/lsubc_ldrops.ma
+++ b/matita/matita/contribs/lambda_delta/basic_2/computation/lsubc_ldrops.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "Basic_2/computation/lsubc_ldrop.ma".
+include "basic_2/computation/lsubc_ldrop.ma".
 
 (* LOCAL ENVIRONMENT REFINEMENT FOR ABSTRACT CANDIDATES OF REDUCIBILITY *****)