in
let module WeightPassiveSet = Set.Make(WeightOrderedPassives) in
let module AgePassiveSet = Set.Make(AgeOrderedPassives) in
- let add_passive_clause ?(no_weight=true) (passives_w,passives_a) cl =
+ let add_passive_clause ?(no_weight=false) (passives_w,passives_a) cl =
let cl = if no_weight then (0,cl)
else Utils.mk_passive_clause cl in
WeightPassiveSet.add cl passives_w, AgePassiveSet.add cl passives_a