Drop a seven years old workaround for happy

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 7acf824..9c9d636 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -722,10 +722,6 @@ HAPPY_VERSION              = @HappyVersion@
 #
 SRC_HAPPY_OPTS         = -agc --strict
 
-# Temp. to work around performance problems in the HEAD around 8/12/2003,
-# A Happy compiled with this compiler needs more stack.
-SRC_HAPPY_OPTS         += +RTS -K2m -RTS
-
 #
 # Alex
 #