diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2015-06-09 22:44:17 +0200 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2015-06-09 22:44:17 +0200 |
| commit | 8bb5a7da733ee6da42b2b968a1c9fb70631e14a8 (patch) | |
| tree | d3f109884d3bc0a5af0aaf5d059a895cc0f3640f /src | |
| parent | fcbabab1057b010cfd861d441931476ae6096e34 (diff) | |
| download | trivmix-8bb5a7da733ee6da42b2b968a1c9fb70631e14a8.tar trivmix-8bb5a7da733ee6da42b2b968a1c9fb70631e14a8.tar.gz trivmix-8bb5a7da733ee6da42b2b968a1c9fb70631e14a8.tar.bz2 trivmix-8bb5a7da733ee6da42b2b968a1c9fb70631e14a8.tar.xz trivmix-8bb5a7da733ee6da42b2b968a1c9fb70631e14a8.zip | |
Fixed options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Trivmix.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Trivmix.hs b/src/Trivmix.hs index abb7c32..ede6f67 100644 --- a/src/Trivmix.hs +++ b/src/Trivmix.hs | |||
| @@ -81,9 +81,9 @@ optionParser = Options <$> | |||
| 81 | <> metavar "FILE" | 81 | <> metavar "FILE" |
| 82 | ) | 82 | ) |
| 83 | ) | 83 | ) |
| 84 | <*> some (strOption ( long "level" | 84 | <*> some (strArgument ( metavar "FILE..." |
| 85 | <> metavar "FILE" | 85 | <> help "Files that contain levels to assume and synchronize" |
| 86 | ) | 86 | ) |
| 87 | ) | 87 | ) |
| 88 | 88 | ||
| 89 | initialLevel :: Level | 89 | initialLevel :: Level |