diff options
author | 2011-01-26 20:30:07 -0400 | |
---|---|---|
committer | 2011-01-26 20:30:07 -0400 | |
commit | c30d38e108ade7eb4fa57552631b64dd3b9582c4 (patch) | |
tree | 4afc2ae95f1dbebe2d9a7dd4b177fb64fa3b8273 /CmdLine.hs | |
parent | 3cb5cb6bf6f03ad3ef574a14ed35275916ac44b3 (diff) |
better warnings display
Diffstat (limited to 'CmdLine.hs')
-rw-r--r-- | CmdLine.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/CmdLine.hs b/CmdLine.hs index 1b5daadeb..76402a821 100644 --- a/CmdLine.hs +++ b/CmdLine.hs @@ -70,7 +70,6 @@ usage header cmds options = cmdparams c ++ pad (longest cmdparams + 2) (cmdparams c) ++ cmddesc c - indent l = " " ++ l pad n s = replicate (n - length s) ' ' longest f = foldl max 0 $ map (length . f) cmds |