diff options
Diffstat (limited to 'CmdLine.hs')
| -rw-r--r-- | CmdLine.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CmdLine.hs b/CmdLine.hs index ebcca25aa..7f708f15a 100644 --- a/CmdLine.hs +++ b/CmdLine.hs @@ -51,7 +51,7 @@ parseCmd argv cmds options header = check $ getOpt Permute options argv check (_, [], []) = err "missing command" check (flags, name:rest, []) | null matches = err $ "unknown command " ++ name - | otherwise = (flags, head matches, rest) + | otherwise = (flags, Prelude.head matches, rest) where matches = filter (\c -> name == cmdname c) cmds check (_, _, errs) = err $ concat errs |