diff options
| -rw-r--r-- | contrib/setoid/setoid_replace.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/setoid/setoid_replace.ml b/contrib/setoid/setoid_replace.ml index 5cbdba605..9d2b8ff3f 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); |