helm_registry: added the pair unmarshaller

[helm.git] / helm / software / matita / contribs / CoRN-Decl / algebra / COrdCauchy.ma

diff --git a/helm/software/matita/contribs/CoRN-Decl/algebra/COrdCauchy.ma b/helm/software/matita/contribs/CoRN-Decl/algebra/COrdCauchy.ma
index 5f5e5091c707b57a3752472e73af46d0c3e2a386..70c46d57a83f1813c53cebbbbada36d76d82a8a6 100644 (file)
--- a/helm/software/matita/contribs/CoRN-Decl/algebra/COrdCauchy.ma
+++ b/helm/software/matita/contribs/CoRN-Decl/algebra/COrdCauchy.ma
@@ -70,7 +70,7 @@ with the coercions
 
 inline "cic:/CoRN/algebra/COrdCauchy/CauchySeq.ind".
 
-coercion "cic:/matita/CoRN-Decl/algebra/COrdCauchy/CS_seq.con" 0 (* compounds *).
+coercion cic:/matita/CoRN-Decl/algebra/COrdCauchy/CS_seq.con 0 (* compounds *).
 
 inline "cic:/CoRN/algebra/COrdCauchy/SeqLimit.con".