From 33c006bd4f82c702a4b356fbcedac8c0e25b9200 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 10 Feb 2014 13:18:57 -0600 Subject: [PATCH] fix careless error --- pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl b/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl index c5d956ecbe..9f64f3950f 100644 --- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl +++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl @@ -1900,8 +1900,8 @@ Generates terms in a number of different ways: (generate-term L overlap #:i-th i))] For similar reasons, enumerations for mismatch - patterns @racketvarfont[_!_] do not work properly when given ambiguous patterns; - they may repeat elements of the enumeration. + patterns (using @racketvarfont{_!_}) do not work properly when given + ambiguous patterns; they may repeat elements of the enumeration. @examples[#:eval redex-eval (define-language Bad