liste des equiv exportee

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1802 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 0 deletions

diff --git a/contrib/setoid/setoid_replace.ml b/contrib/setoid/setoid_replace.ml
index 5cbdba605e..9d2b8ff3f2 100644
--- a/contrib/setoid/setoid_replace.ml
+++ b/contrib/setoid/setoid_replace.ml
@@ -89,6 +89,8 @@ let setoid_table_add (s,th) = setoid_table := Gmap.add s th !setoid_table
 let setoid_table_find s = Gmap.find s !setoid_table
 let setoid_table_mem s = Gmap.mem s !setoid_table
 
+let equiv_list () = List.map (fun x -> x.set_aeq) (Gmap.rng !setoid_table)
+
 let _ = 
   Summary.declare_summary "setoid-table"
     { Summary.freeze_function = (fun () -> !setoid_table);