]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/client/main.ml
removed dependency on netclient, use http_client module from ocaml-http
[helm.git] / helm / hbugs / client / main.ml
index cfb4f8ba1c676b4d33c02fe5654a96ac736ec5e8..85972ace3b4397f309169bdde69f77ff6cbb5095 100644 (file)
@@ -31,9 +31,12 @@ open Printf;;
 
 let client =
   new Hbugs_client.hbugsClient
-    ~on_use_hint:
+    ~use_hint_callback:
       (fun hint ->
         prerr_endline (sprintf "Using hint: %s" (string_of_hint hint)))
+    ~describe_hint_callback:
+      (fun hint ->
+        prerr_endline (sprintf "Describing hint: %s" (string_of_hint hint)))
     ()
 in
 client#show ();