From c42d5c25c7500d36a41b506b94e5a92c3b92d8f5 Mon Sep 17 00:00:00 2001 From: John Clements Date: Sat, 3 Jul 2010 16:32:37 -0400 Subject: [PATCH] fixed typo introduced by search-and-replace --- collects/redex/examples/pi-calculus.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/redex/examples/pi-calculus.rkt b/collects/redex/examples/pi-calculus.rkt index df3857157a..76a5f8bba9 100644 --- a/collects/redex/examples/pi-calculus.rkt +++ b/collects/redex/examples/pi-calculus.rkt @@ -118,7 +118,7 @@ ;; THE REST OF THIS IS BOILERPLATE... (subst, free-vars, etc.) -;; BOUND-BY : compute the variables bound along the sπne of a context +;; BOUND-BY : compute the variables bound along the spine of a context (define-metafunction π-calculus bound-by : E -> (a ...) [(bound-by hole) ()]