diff 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 |