From 5c91ebc9b995355a5a1f9713be8b9fc74d3ba242 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 29 Jun 2016 10:30:17 +0200
Subject: Updated CHANGES about subst. More on recursive equations in reference
 manual.

---
 doc/refman/RefMan-tac.tex | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'doc/refman')

diff --git a/doc/refman/RefMan-tac.tex b/doc/refman/RefMan-tac.tex
index c4ea1f5f9c..2d9cc12fd7 100644
--- a/doc/refman/RefMan-tac.tex
+++ b/doc/refman/RefMan-tac.tex
@@ -2872,6 +2872,9 @@ activated, {\tt subst} also deals with the following corner cases:
     subst} would be necessary to replace {\ident$_2$} by $t$ or $t'$
   respectively.
 
+\item The presence of a recursive equation which without the option
+  would be a cause of failure of {\tt subst}.
+  
 \item A context with cyclic dependencies as with hypotheses {\tt
   \ident$_1$ = f~\ident$_2$} and {\tt \ident$_2$ = g~\ident$_1$} which
   without the option would be a cause of failure of {\tt subst}.
-- 
cgit v1.2.3