diff options
| -rw-r--r-- | ghc/lib/std/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ghc/lib/std/Makefile b/ghc/lib/std/Makefile index d0816d152f..bf7de0349f 100644 --- a/ghc/lib/std/Makefile +++ b/ghc/lib/std/Makefile @@ -58,7 +58,7 @@ PrelNumExtra_HC_OPTS += -H30m -K2m PrelBase_HC_OPTS += -H10m PrelRead_HC_OPTS += -H16m PrelTup_HC_OPTS += -H12m -PrelNum_HC_OPTS += -H12m +PrelNum_HC_OPTS += -H12m -K2m PrelArr_HC_OPTS += -H8m PrelHandle_HC_OPTS += -H14m Time_HC_OPTS += -H18m |