]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
<h:depth> must precede <h:occurrence> (to make metadata inversion easier)
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / sthandler_ind.c
index 3f391a79e5a8cc465b491f9c138e6d67b43377c8..a6e3a04afbd5fa650b5db8530572e0d032c590cd 100644 (file)
@@ -329,8 +329,8 @@ print_mainconcl(about,out,outrel,outsort,uri,depth)
       {
        fprintf(out,"\t\t<h:refObj rdf:parseType=\"Resource\">");
        fprintf(out,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainConclusion\"/>");
-       fprintf(out,"\n\t\t\t\t<h:occurrence><h:Object rdf:about=\"%s\"/></h:occurrence>",uri);
        fprintf(out,"\n\t\t\t\t<h:depth>%d</h:depth>",depth);
+       fprintf(out,"\n\t\t\t\t<h:occurrence><h:Object rdf:about=\"%s\"/></h:occurrence>",uri);
        fprintf(out,"\n\t\t</h:refObj>\n");
       }
 }