Removing dead code.

1 files changed, 0 insertions, 7 deletions

diff --git a/pretyping/termops.ml b/pretyping/termops.ml
index 363292ec04..d9cd58cea8 100644
--- a/pretyping/termops.ml
+++ b/pretyping/termops.ml
@@ -494,13 +494,6 @@ let occur_meta_or_existential c =
     | _ -> iter_constr occrec c
   in try occrec c; false with Occur -> true
 
-let occur_const s c =
-  let rec occur_rec c = match kind_of_term c with
-    | Const (sp,_) when sp=s -> raise Occur
-    | _ -> iter_constr occur_rec c
-  in
-  try occur_rec c; false with Occur -> true
-
 let occur_evar n c =
   let rec occur_rec c = match kind_of_term c with
     | Evar (sp,_) when Evar.equal sp n -> raise Occur