X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_transition%2Frpx_length.ma;h=209b010ed06fe3c4711c285237869317b24989a9;hb=b98ec1a1a37602eca524dc5487c357a200bbb5b6;hp=fe095d1df06e32b57553d4da0e06796f2230d4bd;hpb=222044da28742b24584549ba86b1805a87def070;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_length.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_length.ma
index fe095d1df..209b010ed 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_length.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_length.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "basic_2/static/rex_length.ma".
+include "static_2/static/rex_length.ma".
 include "basic_2/rt_transition/rpx.ma".
 
 (* UNBOUND PARALLEL RT-TRANSITION FOR REFERRED LOCAL ENVIRONMENTS ***********)