From 270e53b8ed14be5d32da2ebd2fb74ecfb6b15034 Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Sat, 14 Nov 2020 00:22:27 +0000 Subject: [PATCH] Fix concerning simplification of reference values --- devel/scheme/api/glue-auto-doc.en.tm | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/devel/scheme/api/glue-auto-doc.en.tm b/devel/scheme/api/glue-auto-doc.en.tm index 7a41577..eb6909a 100644 --- a/devel/scheme/api/glue-auto-doc.en.tm +++ b/devel/scheme/api/glue-auto-doc.en.tm @@ -6722,6 +6722,14 @@ source code. . + <\explain> + )> + + <|explain> + Calls the function which returns + . + + <\explain>