--- script/confhc-hat.orig	Mon Mar 17 11:32:58 2003
+++ script/confhc-hat	Tue Feb 10 18:17:43 2004
@@ -85,7 +85,6 @@
 if [ -n "$GHCKNOWN" ]
 then if [ `cat targets/$MACHINE/ghcsym` -lt "504" ]
   then echo "  WARNING: hat-2.02 needs a version of ghc >= 5.04."
-       GHCKNOWN=
   fi
 fi