From c6dc6200c1e3022bf76b9589a8e30dd1cc6e864c Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Mon, 21 Nov 2011 09:19:28 +0000 Subject: [PATCH] Typo in comment --- matitaB/components/ng_paramodulation/paramod.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matitaB/components/ng_paramodulation/paramod.ml b/matitaB/components/ng_paramodulation/paramod.ml index 83845673b..a1ec9bc14 100644 --- a/matitaB/components/ng_paramodulation/paramod.ml +++ b/matitaB/components/ng_paramodulation/paramod.ml @@ -224,7 +224,7 @@ module Paramod (B : Orderings.Blob) = struct 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 -- 2.39.2