X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FCoRN-Decl%2Freals%2FCMetricFields.ma;h=db445d670b5e9330d610db415a4cf41618629d43;hb=c22f39a5d5afc0ef55beb221e00e2e6703b13d90;hp=70924e79d46c6bad3f266dcfacd1a7769a3c2686;hpb=5e01cba364607e7937aec2e359c34f049bb0f108;p=helm.git

diff --git a/helm/software/matita/contribs/CoRN-Decl/reals/CMetricFields.ma b/helm/software/matita/contribs/CoRN-Decl/reals/CMetricFields.ma
index 70924e79d..db445d670 100644
--- a/helm/software/matita/contribs/CoRN-Decl/reals/CMetricFields.ma
+++ b/helm/software/matita/contribs/CoRN-Decl/reals/CMetricFields.ma
@@ -62,7 +62,7 @@ End basics
 Section CMetric_Field_Cauchy
 *)
 
-inline "cic:/CoRN/reals/CMetricFields/CMetric_Field_Cauchy/F.var" "CMetric_Field_Cauchy__".
+alias id "F" = "cic:/CoRN/reals/CMetricFields/CMetric_Field_Cauchy/F.var".
 
 (*#*
 %\begin{convention}% Let [F:CMetricField].