in
let other_constants = Constr.StringSet.union sig_constants hyp_constants in
let uris =
- if (List.length uris < 2 ** (Constr.StringSet.cardinal other_constants))
+ let pow = 2 ** (Constr.StringSet.cardinal other_constants) in
+ if ((List.length uris < pow) or (pow <= 0))
then begin
prerr_endline "MetadataQuery: large sig, falling back to old method";
filter_uris_forward ~dbh (main, other_constants) uris