From 6e0467e746e40c10bdc110e8d21e26846219d510 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Mon, 6 May 2019 15:36:49 +0000
Subject: [Canonical structures] “not_canonical” annotation to field
 declarations

---
 pretyping/recordops.ml  | 3 ---
 pretyping/recordops.mli | 2 --
 2 files changed, 5 deletions(-)

(limited to 'pretyping')

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;
-- 
cgit v1.2.3