let initialize_goal (bag,maxvar,actives,passives,_,_) t =
let (bag,maxvar), g = mk_unit_clause bag maxvar t in
let g_passives = g_passive_empty_set in
- (* if the goal is not an equation we returns an empty
+ (* if the goal is not an equation we return an empty
passive set *)
let g_passives =
if Terms.is_eq_clause g then add_passive_goal g_passives g