From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 5 Dec 2001 17:49:59 +0000 (+0000)
Subject: http:/ ==> http://
X-Git-Tag: mlminidom_0_2_2~19
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=098a865a070baf2bf873f32d347beb9965e1d5b3;p=helm.git

http:/ ==> http://
---

diff --git a/helm/metadata/create2/fix_rdf.pl b/helm/metadata/create2/fix_rdf.pl
index cd3051f3f..5d86c45c7 100755
--- a/helm/metadata/create2/fix_rdf.pl
+++ b/helm/metadata/create2/fix_rdf.pl
@@ -12,7 +12,7 @@ open(HEADER,">>$outputfile");
 print HEADER <<EOT;
 <?xml version="1.0" encoding="ISO-8859-1"?>
 
-<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#">
+<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#">
   <h:Object rdf:about="$uri">
 EOT
 close(HEADER);
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 *)