X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fgetter.ml;h=50ec96380990cee1f16a7ed6e8c65f52754c3583;hb=dd2af791135cedf4e558ff8629ceca044a0d11d3;hp=85e64117b6be0fe66366d4eaea95c811364e8617;hpb=f7cdd861bf43d3a8585103fb3bacd29f8a40a46e;p=helm.git

diff --git a/helm/interface/getter.ml b/helm/interface/getter.ml
index 85e64117b..50ec96380 100644
--- a/helm/interface/getter.ml
+++ b/helm/interface/getter.ml
@@ -145,6 +145,10 @@ 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 =