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

diff --git a/helm/interface/getter.mli b/helm/interface/getter.mli
index 0c7401cbc..c44aa3e43 100644
--- a/helm/interface/getter.mli
+++ b/helm/interface/getter.mli
@@ -33,9 +33,6 @@
 (*                                                                            *)
 (******************************************************************************)
 
-(* 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