From 353e280be1006b646cb4ac53e7282b4fe19b0460 Mon Sep 17 00:00:00 2001
From: bertot
Date: Tue, 22 Aug 2006 06:44:14 +0000
Subject: remove an orphan comment (attached to a piece of code that was
 removed).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9072 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/success/setoid_ring_module.v | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/test-suite/success/setoid_ring_module.v b/test-suite/success/setoid_ring_module.v
index 661f17878e..9dfedce35e 100644
--- a/test-suite/success/setoid_ring_module.v
+++ b/test-suite/success/setoid_ring_module.v
@@ -30,10 +30,6 @@ Admitted.
 
 Add New Ring CoefRing : cRth Abstract. 
 
-(* Here the tactic that I would like to be implemented by 
-   "setoid ring" when it is applied on a "ceq _ _" goal.
-   This tactic was designed by copying what happens in newring.ml4 *)
-
 End abs_ring.
 Import abs_ring.
 
-- 
cgit v1.2.3