From c8b877580582a5ebec1af72c683dbf09c604ed69 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Wed, 13 Jan 2010 18:35:27 +0000 Subject: [PATCH] Further clarified documentation svn: r17636 --- collects/redex/redex.scrbl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl index 91ba02bfe8..fb34a26e47 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -975,9 +975,9 @@ match. Defines a metafunction @scheme[g] as an extension of an existing metafunction @scheme[f]. The metafunction @scheme[g] behaves as -if @scheme[f]'s clauses were appended to its definition (with the -function position of the left-hand sides changed to from @scheme[f] -to @scheme[g]). +if @scheme[f]'s clauses were appended to its definition (with +occurrences of @scheme[f] changed to @scheme[g] in the inherited +clauses). } For example, @scheme[define-metafunction/extension] may be used to extend