diff options
Diffstat (limited to 'utils/mkUserGuidePart/Options/RecompilationChecking.hs')
| -rw-r--r-- | utils/mkUserGuidePart/Options/RecompilationChecking.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/mkUserGuidePart/Options/RecompilationChecking.hs b/utils/mkUserGuidePart/Options/RecompilationChecking.hs index 740d04f55d..f119c1111e 100644 --- a/utils/mkUserGuidePart/Options/RecompilationChecking.hs +++ b/utils/mkUserGuidePart/Options/RecompilationChecking.hs @@ -8,7 +8,7 @@ recompilationCheckingOptions = , flagDescription = "Turn off recompilation checking. This is implied by any " ++ "``-ddump-X`` option when compiling a single file " ++ - "(i.e. when using :ghc-flag:`c`)." + "(i.e. when using :ghc-flag:`-c`)." , flagType = DynamicFlag , flagReverse = "-fno-force-recomp" } |