diff options
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/extraction/haskell.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/extraction/haskell.ml b/plugins/extraction/haskell.ml index 6008dffde6..e63cdfb685 100644 --- a/plugins/extraction/haskell.ml +++ b/plugins/extraction/haskell.ml @@ -40,7 +40,7 @@ let preamble mod_name comment used_modules usf = in (if not usf.magic then mt () else - str "{-# OPTIONS_GHC -cpp -fglasgow-exts #-}" ++ fnl () ++ + str "{-# OPTIONS_GHC -cpp -XMagicHash #-}" ++ fnl () ++ str "{- For Hugs, use the option -F\"cpp -P -traditional\" -}") ++ fnl () ++ fnl () ++ |