Merge branch 'master' of ssh://matita.cs.unibo.it:/srv/git/helm

[helm.git] / matita / matita / contribs / lambdadelta / delayed_updating / substitution / lift_rmap_id.ma

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_rmap_id.ma b/matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_rmap_id.ma
index 077f90747a49c2ffa5ff2fee329d0bf0ed53cfac..8787ecbb998ce72ac70bafa441644659be98980e 100644 (file)
--- a/matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_rmap_id.ma
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_rmap_id.ma
@@ -15,7 +15,7 @@
 include "delayed_updating/substitution/lift_gen.ma".
 include "ground/relocation/tr_id_tls.ma".
 
-(* LIFT FOR RELOCATION MAP  *************************************************)
+(* LIFT FOR RELOCATION MAP **************************************************)
 
 (* Constructions with proj_rmap and tr_id ***********************************)