X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2Fapps_2%2Ffunctional%2Frtm.ma;h=c7acff72e070939f853e90340b01ac54b478fd84;hb=5ea90cbbb01fe0bf3b77221d9e6c87002982621f;hp=845e8a04dea74b624467d13cb238060b38daff07;hpb=eb918fc784eacd2094e3986ba321ef47690d9983;p=helm.git

diff --git a/matita/matita/contribs/lambda_delta/apps_2/functional/rtm.ma b/matita/matita/contribs/lambda_delta/apps_2/functional/rtm.ma
index 845e8a04d..c7acff72e 100644
--- a/matita/matita/contribs/lambda_delta/apps_2/functional/rtm.ma
+++ b/matita/matita/contribs/lambda_delta/apps_2/functional/rtm.ma
@@ -12,8 +12,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "Basic_2/grammar/term_vector.ma".
-include "Basic_2/grammar/genv.ma".
+include "basic_2/grammar/term_vector.ma".
+include "basic_2/grammar/genv.ma".
 
 (* REDUCTION AND TYPE MACHINE ***********************************************)