- 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
+ let add_passive_clause ?(bonus_weight=0) (passives_w,passives_a) cl =
+ let (w,cl) = Clauses.mk_passive_clause cl in
+ (* let cl = (w+bonus_weight,cl) in *)
+ let cl = if bonus_weight = 0 then (w,cl) else (0,cl) in
+ WeightPassiveSet.add cl passives_w, AgePassiveSet.add cl passives_a