From 1b09098cc4830f262820d2935a9cd0afa383ed3f Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 1 Jul 2016 13:57:14 +0200
Subject: Add and document match, fix and cofix reduction flags.

---
 intf/genredexpr.mli | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'intf')

diff --git a/intf/genredexpr.mli b/intf/genredexpr.mli
index ff036a13f2..2df79673ad 100644
--- a/intf/genredexpr.mli
+++ b/intf/genredexpr.mli
@@ -12,7 +12,9 @@
 
 type 'a red_atom =
   | FBeta
-  | FIota
+  | FMatch
+  | FFix
+  | FCofix
   | FZeta
   | FConst of 'a list
   | FDeltaBut of 'a list
@@ -21,7 +23,9 @@ type 'a red_atom =
 
 type 'a glob_red_flag = {
   rBeta : bool;
-  rIota : bool;
+  rMatch : bool;
+  rFix : bool;
+  rCofix : bool;
   rZeta : bool;
   rDelta : bool; (** true = delta all but rConst; false = delta only on rConst*)
   rConst : 'a list
-- 
cgit v1.2.3