X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fclient%2Fhbugs_client.mli;h=87e11e968501ca75183785b5d04f69a7328cf575;hb=22bb9330d93cdf89baa5df76df6db72709a4d6fb;hp=cf7ebc2a991a0aaf112f7e6e668cc2922d07832a;hpb=641aec825f4cf10d5075da92681575acdfeeb2ae;p=helm.git

diff --git a/helm/hbugs/client/hbugs_client.mli b/helm/hbugs/client/hbugs_client.mli
index cf7ebc2a9..87e11e968 100644
--- a/helm/hbugs/client/hbugs_client.mli
+++ b/helm/hbugs/client/hbugs_client.mli
@@ -4,7 +4,8 @@ open Hbugs_types
 exception Invalid_URL of string
 
 class hbugsClient :
-  ?use_hint_callback: (hint -> unit) ->
+  ?use_hint_callback: (hint -> unit) -> (* default = do nothing *)
+  ?destroy_callback: (unit -> unit) ->  (* default = do nothing *)
   unit ->
     object