- added some cicbrowser screenshot (to be better placed in the text body)

[helm.git] / helm / ocaml / hbugs / search_pattern_apply_tutor.ml

diff --git a/helm/ocaml/hbugs/search_pattern_apply_tutor.ml b/helm/ocaml/hbugs/search_pattern_apply_tutor.ml
index 0c1e7d0ae24d547b61d48dce929cf3f7a1c6c0d7..79c94beedbce7d3b68e9b774063799a19328216a 100644 (file)
--- a/helm/ocaml/hbugs/search_pattern_apply_tutor.ml
+++ b/helm/ocaml/hbugs/search_pattern_apply_tutor.ml
@@ -1,3 +1,4 @@
+(* $Id$ *)
 
 open Hbugs_types;;
 open Printf;;
@@ -40,7 +41,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