renaming "remove_term" -> "remove_obj"

[helm.git] / helm / ocaml / cic_proof_checking / cicEnvironment.ml

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
index 05467185b1929faf6d266d176355a96d267c3c87..182f8b7d9e993bf3ea6bc420f3e2ecbd9a5ed3a9 100644 (file)
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.ml
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
@@ -686,7 +686,7 @@ let in_library uri =
     true
   with Http_getter_types.Key_not_found _ -> false)
 
-let remove_term = Cache.remove
+let remove_obj = Cache.remove
   
 let list_uri () = 
   Cache.list_all_cooked_uris ()