- let locate_aux txt =
- let query =
- MQList (MQSelect ("uri",
- MQPattern ("cic", [MQAstAst], "con", (None, None)),
- MQIs (MQFunc (MQName, "uri"),
- MQCons txt
- )
- )
- )
- in
- match Mqint.execute query with
- MQStrUri l ->
- out_query query ^ nl ^ "Result: " ^ nl ^
- String.concat nl l ^ nl
- | MQRefs _ -> assert false (*CSC: ????????????????????????????? *)
+ let query =
+ MQList (MQSelect ("ref",
+ MQPattern ("cic", [MQAstAst], "con", (None, None)),
+ MQIs (MQFunc (MQName, "ref"),
+ MQCons s
+ )
+ )
+ )