X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate2%2Ffix_rdf.pl;h=5d86c45c72d9936a7ff38597dea830d3807f03b5;hb=fde0ad77237a2fbdfb5621d5b5085fe7c82e3f92;hp=cd3051f3fa5373cb84f9757bb5091b30deba0c09;hpb=a12fefc78e783661fbb638907252d2265c6af9dd;p=helm.git

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);