X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fmultiple%2Fdrops.ma;h=1c0c1888888cc55dd4e62f0650f7a73d5e69ff1c;hb=fca909e9e53de73771e1b47e94434ae8f747d7fb;hp=ff9574ab677733cd22645df2a07e5eb6b48e1142;hpb=795ac6cc4ef54b4470b5e2fba287acca440c9c18;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/multiple/drops.ma b/matita/matita/contribs/lambdadelta/basic_2/multiple/drops.ma
index ff9574ab6..1c0c18888 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/multiple/drops.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/multiple/drops.ma
@@ -15,7 +15,7 @@
 include "basic_2/notation/relations/rdropstar_3.ma".
 include "basic_2/notation/relations/rdropstar_4.ma".
 include "basic_2/substitution/drop.ma".
-include "basic_2/multiple/gr2_minus.ma".
+include "basic_2/multiple/mr2_minus.ma".
 include "basic_2/multiple/lifts.ma".
 
 (* ITERATED LOCAL ENVIRONMENT SLICING ***************************************)