From 8f2c2a758f3d5e01238760be12c83d4ff08d5276 Mon Sep 17 00:00:00 2001
From: william-lawvere
Date: Fri, 14 Jul 2017 17:13:54 -0700
Subject: Update with non structurally recursive

---
 doc/refman/RefMan-ext.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/refman/RefMan-ext.tex b/doc/refman/RefMan-ext.tex
index 3bc5169c58..713f344cbe 100644
--- a/doc/refman/RefMan-ext.tex
+++ b/doc/refman/RefMan-ext.tex
@@ -718,7 +718,7 @@ termination of recursive calls.
 
 The {\tt Function} construction also enjoys the {\tt with} extension
 to define mutually recursive definitions. However, this feature does
-not work for non structural recursive functions. % VRAI??
+not work for non structurally recursive functions. % VRAI??
 
 See the documentation of {\tt functional induction}
 (see Section~\ref{FunInduction}) and {\tt Functional Scheme}
-- 
cgit v1.2.3