summaryrefslogtreecommitdiff
path: root/muse
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2016-02-01 23:23:07 -0800
committerOri Bernstein <ori@eigenstate.org>2016-02-01 23:23:07 -0800
commit41f58088d668a208e560de1eecdc7c69582862ca (patch)
tree4645473236083fcec5df8133bd9b48b430eba229 /muse
parent323f7cc44629fbac0375236b37c7673434eddb69 (diff)
downloadmc-41f58088d668a208e560de1eecdc7c69582862ca.tar.gz
Actually add the option flag to dump types.
Diffstat (limited to 'muse')
-rw-r--r--muse/muse.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/muse/muse.c b/muse/muse.c
index cec2b20..e534303 100644
--- a/muse/muse.c
+++ b/muse/muse.c
@@ -54,7 +54,7 @@ int main(int argc, char **argv)
size_t i;
FILE *f;
- optinit(&ctx, "d:hmo:I:l:", argv, argc);
+ optinit(&ctx, "sd:hmo:I:l:", argv, argc);
while (!optdone(&ctx)) {
switch (optnext(&ctx)) {
case 'h':