advances towards confluence of reduction in local environments ...

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / relocation / lreq_lreq.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/relocation/lreq_lreq.ma b/matita/matita/contribs/lambdadelta/basic_2/relocation/lreq_lreq.ma
index c823270ec8e98fc7d3d782ad661e808c771213b7..42aaf3eea96a40d58d772dae5619b9e24c12fd45 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/relocation/lreq_lreq.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/relocation/lreq_lreq.ma
@@ -13,7 +13,6 @@
 (**************************************************************************)
 
 include "basic_2/relocation/lexs_lexs.ma".
-include "basic_2/relocation/lreq.ma".
 
 (* RANGED EQUIVALENCE FOR LOCAL ENVIRONMENTS ********************************)