summaryrefslogtreecommitdiff
path: root/CmdLine.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2012-01-10 15:36:54 -0400
committerGravatar Joey Hess <joey@kitenet.net>2012-01-11 00:06:54 -0400
commitabdacf58ed5d0da0439819feb669b04b2368bb92 (patch)
tree77694958b647c8015104d1d8151a744a03666070 /CmdLine.hs
parent16e7178f207b0472346c06f30aa210cebe373c36 (diff)
tweaks
Diffstat (limited to 'CmdLine.hs')
-rw-r--r--CmdLine.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/CmdLine.hs b/CmdLine.hs
index 6ac0b423f..68157a01a 100644
--- a/CmdLine.hs
+++ b/CmdLine.hs
@@ -47,7 +47,7 @@ dispatch args cmds commonoptions header getgitrepo = do
- the Command being run, and the remaining parameters for the command. -}
parseCmd :: Params -> [Command] -> [Option] -> String -> (Flags, Command, Params)
parseCmd argv cmds commonoptions header
- | name == Nothing = err "missing command"
+ | isNothing name = err "missing command"
| null matches = err $ "unknown command " ++ fromJust name
| otherwise = check $ getOpt Permute (commonoptions ++ cmdoptions cmd) args
where