Main code clean-up.

[helm.git] / helm / metadata / create2 / mk_forward / mk_forward.ml

diff --git a/helm/metadata/create2/mk_forward/mk_forward.ml b/helm/metadata/create2/mk_forward/mk_forward.ml
index 2947461242f07439490a855dd3604c25a3aba1ac..80ed9caf51b1f36d98a9a05f799da5b739b8f036 100644 (file)
--- a/helm/metadata/create2/mk_forward/mk_forward.ml
+++ b/helm/metadata/create2/mk_forward/mk_forward.ml
@@ -149,12 +149,7 @@ let output_file cic_string_uri rdf_string_uri =
 
 let get_obj uri =
  let cicfilename = Getter.getxml uri in
-  let res =
-   match CicParser.term_of_xml cicfilename uri false with
-      (annobj, None) ->
-        Deannotate.deannotate_obj annobj
-    | _ -> assert false
-  in
+  let res = CicParser.obj_of_xml cicfilename uri in
    Unix.unlink cicfilename ;
    res
 ;;