diff options
Diffstat (limited to 'CmdLine')
| -rw-r--r-- | CmdLine/Usage.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CmdLine/Usage.hs b/CmdLine/Usage.hs index f66eb9153..c4522788f 100644 --- a/CmdLine/Usage.hs +++ b/CmdLine/Usage.hs @@ -104,3 +104,5 @@ paramOptional :: String -> String paramOptional s = s paramPair :: String -> String -> String paramPair a b = a ++ " " ++ b +paramOr :: String -> String -> String +paramOr a b = a ++ " | " ++ b |