From 098a865a070baf2bf873f32d347beb9965e1d5b3 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 5 Dec 2001 17:49:59 +0000 Subject: [PATCH] http:/ ==> http:// --- helm/metadata/create2/fix_rdf.pl | 2 +- helm/metadata/create2/mk_forward/mk_forward.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 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 *) -- 2.39.2