From 456b282bef4ccdd5e67fdac4e938d02fce0f6901 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Fri, 29 Mar 2019 09:27:42 +0000
Subject: [Canonical structures] Minor refactoring

---
 pretyping/recordops.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping/recordops.mli')

diff --git a/pretyping/recordops.mli b/pretyping/recordops.mli
index 3e43372b65..53eb3fddf5 100644
--- a/pretyping/recordops.mli
+++ b/pretyping/recordops.mli
@@ -24,7 +24,7 @@ type struc_typ = {
   s_PROJ : Constant.t option list }
 
 type struc_tuple =
-    inductive * constructor * (Name.t * bool) list * Constant.t option list
+    constructor * (Name.t * bool) list * Constant.t option list
 
 val declare_structure : struc_tuple -> unit
 
-- 
cgit v1.2.3