2 files changed, 0 insertions, 5 deletions
diff --git a/pretyping/recordops.ml b/pretyping/recordops.ml
index 331fa2d288..a23c58c062 100644
--- a/pretyping/recordops.ml
+++ b/pretyping/recordops.ml
@@ -44,9 +44,6 @@ type proj_kind = {
   pk_canonical: bool;
 }
 
-let mk_proj_kind pk_name pk_true_proj : proj_kind =
-  { pk_name ; pk_true_proj ; pk_canonical = true }
-
 type struc_typ = {
   s_CONST : constructor;
   s_EXPECTEDPARAM : int;
diff --git a/pretyping/recordops.mli b/pretyping/recordops.mli
index 565454d3b3..25b6cd0751 100644
--- a/pretyping/recordops.mli
+++ b/pretyping/recordops.mli
@@ -23,8 +23,6 @@ type proj_kind = {
   pk_canonical: bool;
 }
 
-val mk_proj_kind : Name.t -> bool -> proj_kind
-
 type struc_typ = {
   s_CONST : constructor;
   s_EXPECTEDPARAM : int;