Branch V7_3_new_exportation merged.

[helm.git] / helm / hbugs / client / main.ml

diff --git a/helm/hbugs/client/main.ml b/helm/hbugs/client/main.ml
index cfb4f8ba1c676b4d33c02fe5654a96ac736ec5e8..e694613c596df7daecd044bac09db495cd5af62b 100644 (file)
--- a/helm/hbugs/client/main.ml
+++ b/helm/hbugs/client/main.ml
@@ -31,7 +31,7 @@ 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)))
     ()