(* AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
*)
+(* $Id$ *)
+
module M = MathQL
module T = MQGTypes
module U = MQGUtil
| [head] -> (f head)
| head :: tail -> let t = (iter f g tail) in g (f head) t
in
- prerr_endline "(** Compose: received constraints **)";
- U.mathql_of_specs prerr_string cl; flush stderr;
+ (* prerr_endline "(** Compose: received constraints **)";
+ U.mathql_of_specs prerr_string cl; flush stderr; *)
aux cl;
let must_query =
if ! must = [] then