X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_computation%2Frdsx_length.ma;h=22451994bd725814da4b0e69bf07ff9e532fe3ca;hb=5431da8145e4a84596d312fc02b552881d119100;hp=e6ccab06a229521e5a6d5e4ba1caaf7b4deea398;hpb=222044da28742b24584549ba86b1805a87def070;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_length.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_length.ma
index e6ccab06a..22451994b 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_length.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_length.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "basic_2/static/rdeq_length.ma".
+include "static_2/static/rdeq_length.ma".
 include "basic_2/rt_transition/lpx_length.ma".
 include "basic_2/rt_computation/rdsx.ma".