]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/getter.ml
This commit was manufactured by cvs2svn to create tag 'v0_0_2'.
[helm.git] / helm / interface / getter.ml
index 50ec96380990cee1f16a7ed6e8c65f52754c3583..85e64117b6be0fe66366d4eaea95c811364e8617 100644 (file)
@@ -145,10 +145,6 @@ let get_file uri =
    fn
 ;;
 
-let raw_get uri =
- let msg = new Http_client.get uri in
-  msg#get_req_body
-
 (* get : uri -> filename *)
 (* If uri is the URI of an annotation, the annotated object is processed *)
 let get uri =