+(* $Id$ *)
open Hbugs_types;;
open Printf;;
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