- renaming completed!

[helm.git] / matita / matita / contribs / lambda_delta / apps_2 / functional / rtm.ma

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 845e8a04dea74b624467d13cb238060b38daff07..c7acff72e070939f853e90340b01ac54b478fd84 100644 (file)
--- 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 ***********************************************)