X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fhbugs%2Fsearch_pattern_apply_tutor.ml;h=1f5dad1bcdfe194f5a6e417c5ba437f2c2c743a2;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=0c1e7d0ae24d547b61d48dce929cf3f7a1c6c0d7;hpb=a21777bd2ac02fd346f168ead468405e4c300855;p=helm.git

diff --git a/helm/ocaml/hbugs/search_pattern_apply_tutor.ml b/helm/ocaml/hbugs/search_pattern_apply_tutor.ml
index 0c1e7d0ae..1f5dad1bc 100644
--- a/helm/ocaml/hbugs/search_pattern_apply_tutor.ml
+++ b/helm/ocaml/hbugs/search_pattern_apply_tutor.ml
@@ -40,7 +40,7 @@ let slave mqi_handle (state, musing_id) =
       if uris = [] then
         Sorry
       else
-        Eureka (Hints (List.map (fun uri -> Use_apply_Luke uri) uris))
+        Eureka (Hints (List.map (fun uri -> Use_apply uri) uris))
     with Empty_must -> Sorry
   in
   let answer = Musing_completed (my_own_id, musing_id, hint) in