diff options
Diffstat (limited to 'utils/mkUserGuidePart/Options/CompilerDebugging.hs')
| -rw-r--r-- | utils/mkUserGuidePart/Options/CompilerDebugging.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/utils/mkUserGuidePart/Options/CompilerDebugging.hs b/utils/mkUserGuidePart/Options/CompilerDebugging.hs index c886156d80..9704020601 100644 --- a/utils/mkUserGuidePart/Options/CompilerDebugging.hs +++ b/utils/mkUserGuidePart/Options/CompilerDebugging.hs @@ -175,11 +175,11 @@ compilerDebuggingOptions = } , flag { flagName = "-dno-debug-output" , flagDescription = "Suppress unsolicited debugging output" - , flagType = StaticFlag + , flagType = DynamicFlag } , flag { flagName = "-dppr-debug" , flagDescription = "Turn on debug printing (more verbose)" - , flagType = StaticFlag + , flagType = DynamicFlag } , flag { flagName = "-dppr-user-length" , flagDescription = |