X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2Fbasic_2%2Fcomputation%2Flsubc_ldrops.ma;h=a61272c732115dc2ea02dc049eac72041ef427a3;hb=390de3f72df749a6f153e59e2620503657ce9eab;hp=95879a234de132f5f2dbf56396c3bf3754ebd50a;hpb=eb918fc784eacd2094e3986ba321ef47690d9983;p=helm.git

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 95879a234..a61272c73 100644
--- 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 *****)