From f660f2c161866d0efabc601f8c62d919b29f7b90 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 3 Sep 2013 11:13:12 -0400 Subject: [PATCH] Biding -> Binding. Closes PR13992. original commit: 4453a4318c617857fcd0d1dddc75f573e0476c07 --- pkgs/scribble-pkgs/scribble-lib/scribble/search.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/search.rkt b/pkgs/scribble-pkgs/scribble-lib/scribble/search.rkt index a545c8ca..458056dc 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/search.rkt +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/search.rkt @@ -32,7 +32,7 @@ ;; because no one uses the same name for different-phase exported ;; bindings. ;; - ;; Formerly, we assumed that bidings are defined as originating from some + ;; Formerly, we assumed that bindings are defined as originating from some ;; module at phase 0. [Maybe it's defined at phase 1 and re-exported ;; later for phase 0 (after a require-for-template), in which case the ;; re-exporting module is the one we find.] That assumption has been