diff options
Diffstat (limited to 'driver/ghci-usage.txt')
| -rw-r--r-- | driver/ghci-usage.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/driver/ghci-usage.txt b/driver/ghci-usage.txt index ffcd2ddc5a..d9628b2c41 100644 --- a/driver/ghci-usage.txt +++ b/driver/ghci-usage.txt @@ -12,8 +12,6 @@ include: In addition, ghci accepts most of the command-line options that plain GHC does. Some of the options that are commonly used are: - -fglasgow-exts Allow Glasgow extensions (unboxed types, etc.) - -i<dir> Search for imported modules in the directory <dir>. -H32m Increase GHC's default heap size to 32m |