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.

---
 dev/doc/changes.txt | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dev')

diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt
index dd0a81603c..4ce1338443 100644
--- a/dev/doc/changes.txt
+++ b/dev/doc/changes.txt
@@ -48,6 +48,9 @@ Reductionops.whd_betadeltaiotaeta_stack
 Reductionops.whd_betadeltaiotaeta_state
 Reductionops.whd_betadeltaiotaeta
 
+In intf/genredexpr.mli, fIota was replaced by FMatch, FFix and
+FCofix. Similarly, rIota was replaced by rMatch, rFix and rCofix.
+
 ** Notation_ops **
 
 Use Glob_ops.glob_constr_eq instead of Notation_ops.eq_glob_constr.
-- 
cgit v1.2.3