X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fgetter.mli;h=0c7401cbc55fffd575ebb525b701546708e585c4;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=c44aa3e435bebfec8e72834887bad64ca6cb825b;hpb=5a7ec1a3e9cea3050ad08b2f6f57c0dad2d5a632;p=helm.git

diff --git a/helm/interface/getter.mli b/helm/interface/getter.mli
index c44aa3e43..0c7401cbc 100644
--- a/helm/interface/getter.mli
+++ b/helm/interface/getter.mli
@@ -33,6 +33,9 @@
 (*                                                                            *)
 (******************************************************************************)
 
+(* raw_get : uri -> dest_file -> () *)
+val raw_get : string -> string -> unit
+
 (* get : uri -> filename *)
 (* If uri is the URI of an annotation, the annotated object is processed *)
 val get : UriManager.uri -> string