X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fcomputation%2Facp.ma;h=22efc2d11916d1c06b770fbbacd70d2812174cfb;hb=598a5c56535a8339f6533227ab580aff64e2d41c;hp=7830fa7c0eaf0e950762ac871b1cc2dd875514b5;hpb=c671743a83bbc7fff114e3e3694f628c0ec6685b;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/computation/acp.ma b/matita/matita/contribs/lambdadelta/basic_2/computation/acp.ma
index 7830fa7c0..22efc2d11 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/computation/acp.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/computation/acp.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 include "basic_2/grammar/genv.ma".
-include "basic_2/substitution/ldrops.ma".
+include "basic_2/multiple/ldrops.ma".
 
 (* ABSTRACT COMPUTATION PROPERTIES ******************************************)