X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FCoRN-Decl%2Ffta%2FCPoly_Shift.ma;h=86a4385229f71ed90673c1b251134134aac5eccd;hb=b637879a2b3f2ceda65afb3c950061189c4730b7;hp=e0875e59f13c493b310dd87d17464361dbdf3e7d;hpb=876f16ec4e9080bad4e39bd9c203d6529dcf4f56;p=helm.git

diff --git a/helm/software/matita/contribs/CoRN-Decl/fta/CPoly_Shift.ma b/helm/software/matita/contribs/CoRN-Decl/fta/CPoly_Shift.ma
index e0875e59f..86a438522 100644
--- a/helm/software/matita/contribs/CoRN-Decl/fta/CPoly_Shift.ma
+++ b/helm/software/matita/contribs/CoRN-Decl/fta/CPoly_Shift.ma
@@ -29,7 +29,7 @@ and we only need it for [CC].
 *)
 
 (* UNEXPORTED
-Section Poly_Shifted.
+Section Poly_Shifted
 *)
 
 inline "cic:/CoRN/fta/CPoly_Shift/Shift.con".
@@ -51,7 +51,7 @@ inline "cic:/CoRN/fta/CPoly_Shift/Shift_degree_le.con".
 inline "cic:/CoRN/fta/CPoly_Shift/Shift_monic.con".
 
 (* UNEXPORTED
-End Poly_Shifted.
+End Poly_Shifted
 *)
 
 (* UNEXPORTED