From e72024e2292a50684b7f280d6efb8fee090e2dbf Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 10 Sep 2000 20:37:37 +0000
Subject: Suppression de Abst

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@593 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/ring/ring.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'contrib')

diff --git a/contrib/ring/ring.ml b/contrib/ring/ring.ml
index 2418e1abe9..9085041d37 100644
--- a/contrib/ring/ring.ml
+++ b/contrib/ring/ring.ml
@@ -535,7 +535,6 @@ let polynom_unfold_tac =
      { r_beta = true;
        r_delta = (function
                     | Const sp -> SectionPathSet.mem sp constants_to_unfold
-                    | Abst sp -> SectionPathSet.mem sp constants_to_unfold
                     | _ -> false);
        r_iota = true })
   in
-- 
cgit v1.2.3