X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fclient%2Fmain.ml;h=85972ace3b4397f309169bdde69f77ff6cbb5095;hb=9327428bfb03330a8baf382fea019f320e5cc462;hp=e694613c596df7daecd044bac09db495cd5af62b;hpb=891981a2d15f658d451517abbad72f6aebe7362e;p=helm.git

diff --git a/helm/hbugs/client/main.ml b/helm/hbugs/client/main.ml
index e694613c5..85972ace3 100644
--- a/helm/hbugs/client/main.ml
+++ b/helm/hbugs/client/main.ml
@@ -34,6 +34,9 @@ let client =
     ~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 ();