X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Ftactics%2Fring.ml;h=4d05ab3333cafba2b10fddfa9b383c7450602d39;hb=245c8538406d49df459efb1fe9d87474db4bd332;hp=4c58f1004ff86e63c014437e41fb50d18a5520cb;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/tactics/ring.ml b/components/tactics/ring.ml
index 4c58f1004..4d05ab333 100644
--- a/components/tactics/ring.ml
+++ b/components/tactics/ring.ml
@@ -444,7 +444,7 @@ let purge_hyps_tac ~count =
         in
          aux (n-1) tl
           (status_of_single_goal_tactic_result 
-	   (ProofEngineTypes.apply_tactic (S.clear ~hyp:name_of_hyp) status))
+	   (ProofEngineTypes.apply_tactic (S.clear ~hyps:[name_of_hyp]) status))
     | (_, []) -> failwith "Ring.purge_hyps_tac: no hypotheses left"
   in
    let (_, metasenv, _, _) = proof in