From 72bc8ffd5653b19f6c6a06e2c4e071fa77f32a82 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 17 Apr 2014 11:25:20 -0500 Subject: [PATCH] fix redex docs closes PR 14450 --- pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl b/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl index 1dda48423d..13ef4309fe 100644 --- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl +++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl @@ -489,7 +489,7 @@ that point.} @racket[racket-expression], which must produce a list. It then splices the contents of the list into the expression at that point in the sequence.} -@item{A term written @racket[(in-hole @|tttterm| @|tttterm|)] +@item{A term written @racket[(in-hole #,tttterm #,tttterm)] is the dual to the @pattern @racket[in-hole] -- it accepts a context and an expression and uses @racket[plug] to combine them.}