X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate2%2Ftouch%2Ftouch.ml;h=8fea03e0e90b85e7ce03b6a455d421c870483e0d;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=8538a8faa7750033aeb21126b9c79e12d96828bc;hpb=a12fefc78e783661fbb638907252d2265c6af9dd;p=helm.git

diff --git a/helm/metadata/create2/touch/touch.ml b/helm/metadata/create2/touch/touch.ml
index 8538a8faa..8fea03e0e 100644
--- a/helm/metadata/create2/touch/touch.ml
+++ b/helm/metadata/create2/touch/touch.ml
@@ -60,12 +60,7 @@ let touch_file 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
 ;;