From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 21 Nov 2011 09:19:28 +0000 (+0000)
Subject: Typo in comment
X-Git-Tag: make_still_working~2078
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=c6dc6200c1e3022bf76b9589a8e30dd1cc6e864c

Typo in comment
---

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