let remove_obj uri =
let uris =
try
- UriManager.UriHashtbl.find auxiliary_lemmas_hashtbl uri
+ let res = UriManager.UriHashtbl.find auxiliary_lemmas_hashtbl uri in
+ UriManager.UriHashtbl.remove auxiliary_lemmas_hashtbl uri;
+ res
with
- Not_found -> []
+ Not_found -> assert false
in
List.iter remove_single_obj (uri::uris)