2 files changed, 0 insertions, 8 deletions
diff --git a/proofs/goal.ml b/proofs/goal.ml
index a2efc10f02..6cd00c3188 100644
--- a/proofs/goal.ml
+++ b/proofs/goal.ml
@@ -466,11 +466,6 @@ module V82 = struct
     let evi = content evars gl in
     Evd.evar_filtered_env evi
 
-  (* For printing *)
-  let unfiltered_env evars gl =
-    let evi = content evars gl in
-    Evd.evar_env evi
-
   (* Old style hyps primitive *)
   let hyps evars gl =
     let evi = content evars gl in
diff --git a/proofs/goal.mli b/proofs/goal.mli
index 72f1b16a46..49667879b4 100644
--- a/proofs/goal.mli
+++ b/proofs/goal.mli
@@ -182,9 +182,6 @@ module V82 : sig
   (* Old style env primitive *)
   val env : Evd.evar_map -> goal -> Environ.env
 
-  (* For printing *)
-  val unfiltered_env : Evd.evar_map -> goal -> Environ.env
-
   (* Old style hyps primitive *)
   val hyps : Evd.evar_map -> goal -> Environ.named_context_val