From 176d8e004153e65688dc8ef4f22f7939fd6101b1 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 21 Jan 2016 18:45:36 +0100
Subject: New step on recent 9c2662eecc398f3 (strong invariants on tuple
 pattern).

- Fixing dead code, doc.
- Relaxing constraints on using an as-tuple in inversion.
---
 intf/misctypes.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'intf')

diff --git a/intf/misctypes.mli b/intf/misctypes.mli
index 3c6d59ff0c..1452bbc347 100644
--- a/intf/misctypes.mli
+++ b/intf/misctypes.mli
@@ -16,8 +16,6 @@ type patvar = Id.t
 
 (** Introduction patterns *)
 
-type tuple_flag = bool (* tells pattern list should be list of fixed length *)
-
 type 'constr intro_pattern_expr =
   | IntroForthcoming of bool
   | IntroNaming of intro_pattern_naming_expr
-- 
cgit v1.2.3