X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmetadata%2Fcreate2%2Fmk_forward%2Fmk_forward.ml;h=7880b07b671bd9763e48f5eaa0613b93b26f14d9;hb=8b27edce3f78c9a0922e9a3a22fd1639c78e64fc;hp=80ed9caf51b1f36d98a9a05f799da5b739b8f036;hpb=f6e4a271838bc59f3b22e68a282dc995776360cb;p=helm.git

diff --git a/helm/metadata/create2/mk_forward/mk_forward.ml b/helm/metadata/create2/mk_forward/mk_forward.ml
index 80ed9caf5..7880b07b6 100644
--- a/helm/metadata/create2/mk_forward/mk_forward.ml
+++ b/helm/metadata/create2/mk_forward/mk_forward.ml
@@ -134,7 +134,7 @@ let output_file cic_string_uri rdf_string_uri =
        X.xml_nempty "rdf:RDF"
         ["xml:lang","en" ;
          "xmlns:rdf","http://www.w3.org/1999/02/22-rdf-syntax-ns#";
-         "xmlns:h","http:/www.cs.unibo.it/helm/schemas/schema-h.rdf#"]
+         "xmlns:h","http://www.cs.unibo.it/helm/schemas/schema-h.rdf#"]
 
         (try
           Stream.empty content ; (* raise Stream.failure if not empty *)