From b79fa717a965a0808bb74f34a14ba86e080193c5 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 2 Dec 1999 15:52:19 +0000
Subject: [PATCH] [project @ 1999-12-02 15:52:19 by simonmar] "compilation IS
 required" ===>  ""

---
 ghc/compiler/rename/RnNames.lhs |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ghc/compiler/rename/RnNames.lhs b/ghc/compiler/rename/RnNames.lhs
index 333cad9..fa5b376 100644
--- a/ghc/compiler/rename/RnNames.lhs
+++ b/ghc/compiler/rename/RnNames.lhs
@@ -216,9 +216,9 @@ checkEarlyExit mod
 	-- Unchanged source, and no errors yet; see if usage info
 	-- up to date, and exit if so
     checkUpToDate mod						`thenRn` \ up_to_date ->
-    putDocRn (text "Compilation" <+> 
-	      text (if up_to_date then "IS NOT" else "IS") <+>
-	      text "required")					`thenRn_`
+    (if up_to_date 
+	then putDocRn (text "Compilation IS NOT required")
+	else returnRn ())					`thenRn_`
     returnRn up_to_date
 \end{code}
 	
-- 
1.7.10.4