let _ =
let module S = Saturation in
- let set_ratio v = S.weight_age_ratio := (v+1); S.weight_age_counter := (v+1)
+ let set_ratio v = S.weight_age_ratio := v; S.weight_age_counter := v
and set_sel v = S.symbols_ratio := v; S.symbols_counter := v;
and set_conf f = configuration_file := f
and set_ordering o =