From c4e2d1f98df3151546de8076f981f853c8042a1b Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Fri, 24 Aug 2001 09:02:39 +0000
Subject: [PATCH] [project @ 2001-08-24 09:02:39 by simonpj] Comment only

---
 ghc/compiler/coreSyn/CoreTidy.lhs |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ghc/compiler/coreSyn/CoreTidy.lhs b/ghc/compiler/coreSyn/CoreTidy.lhs
index 2f45691..d1b9205 100644
--- a/ghc/compiler/coreSyn/CoreTidy.lhs
+++ b/ghc/compiler/coreSyn/CoreTidy.lhs
@@ -95,7 +95,8 @@ binder
     to ensure that the unique assigned is the same as the Id had 
     in any previous compilation run.
   
- 3. If it's an external Id, make it have a global Name and vice versa.
+ 3. If it's an external Id, make it have a global Name, otherwise
+    make it have a local Name.
     This is used by the code generator to decide whether
     to make the label externally visible
 
-- 
1.7.10.4