diff options
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/config.mk.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index 6abf01816f..e2712796ce 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -858,8 +858,7 @@ HAPPY_VERSION = @HappyVersion@ # # Options to pass to Happy when we're going to compile the output with GHC # -# TODO (int-index): restore the -c option when happy/pull/134 is merged. -SRC_HAPPY_OPTS = -ag --strict +SRC_HAPPY_OPTS = -agc --strict # # Alex |