Fix internal error for --format (fixes #1507)
This commit is contained in:
parent
bbe5155e63
commit
ed92fe501f
|
@ -340,6 +340,9 @@ parseOption flag options =
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
-- This flag is handled specially in 'process'
|
||||||
|
Flag "format" _ -> return options
|
||||||
|
|
||||||
Flag str _ -> do
|
Flag str _ -> do
|
||||||
printErr $ "Internal error for --" ++ str ++ ". Please file a bug :("
|
printErr $ "Internal error for --" ++ str ++ ". Please file a bug :("
|
||||||
return options
|
return options
|
||||||
|
|
Loading…
Reference in New Issue