- , ( "dcore-lint", setDumpFlag Opt_DoCoreLinting)
- , ( "dstg-lint", setDumpFlag Opt_DoStgLinting)
- , ( "dcmm-lint", setDumpFlag Opt_DoCmmLinting)
+ , ( "dcore-lint", NoArg (setDynFlag Opt_DoCoreLinting))
+ , ( "dstg-lint", NoArg (setDynFlag Opt_DoStgLinting))
+ , ( "dcmm-lint", NoArg (setDynFlag Opt_DoCmmLinting))