("no_inconcl_aux.source = refObj0.source")::where) in
let from = String.concat "," from in
let where = String.concat " and " where in
- let query = "select refObj0.source from " ^ from ^ " where " ^ where in
- prerr_endline query;
+ let query =
+ "select refObj0.source from " ^ from ^ " where " ^ where in
+ (* prerr_endline query;*)
Mysql.exec conn query
;;
let prefixes = NewConstraints.prefixes just_factor t in
(match prefixes with
Some main, all_concl ->
+(*
NewConstraints.pp_prefixes all_concl;
- (* in some cases, max_prefix_length could be less than n *)
+*)
+ (* in some cases, max_prefix_length could be less than n *)
let max_prefix_length =
match all_concl with
[] -> assert false