summaryrefslogtreecommitdiffstats
path: root/opts.sml
diff options
context:
space:
mode:
Diffstat (limited to 'opts.sml')
-rw-r--r--opts.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/opts.sml b/opts.sml
index ea5b935..f5be8c4 100644
--- a/opts.sml
+++ b/opts.sml
@@ -25,7 +25,7 @@ struct
| "False" => false
| _ => error "invalid boolean value"
- fun getOpt (desc : (string * 'a optDesc) list) : string list =
+ fun getOpt (desc : (string * 'a optDesc) list) (args : string list) : string list =
let
val parsers = StringMap.fromList desc
fun go [] = []
@@ -76,6 +76,6 @@ struct
go args)
end
in
- go (CommandLine.arguments ())
+ go args
end
end