summaryrefslogtreecommitdiff
path: root/src/Trivmix.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Trivmix.hs')
-rw-r--r--src/Trivmix.hs6
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
89initialLevel :: Level 89initialLevel :: Level