summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2013-03-27 16:20:36 -0400
committerOri Bernstein <ori@eigenstate.org>2013-03-27 16:21:24 -0400
commit105235911b6b3982f76f3d7e87070f696942c105 (patch)
treedab9a7929b2dc001d0a047d050671d3104161478
parentdd3b0346f6b08112568fae32bebd2461e6b21196 (diff)
downloadmc-105235911b6b3982f76f3d7e87070f696942c105.tar.gz
Remove outdated line from help docs.
-rw-r--r--6/main.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/6/main.c b/6/main.c
index e3147e4..0b0c30d 100644
--- a/6/main.c
+++ b/6/main.c
@@ -28,7 +28,6 @@ static void usage(char *prog)
printf("\t-h\tPrint this help\n");
printf("\t-I path\tAdd 'path' to use search path\n");
printf("\t-d\tPrint debug dumps. Recognized options: f r p i\n");
- printf("\t\t\tno options: print most common debug information\n");
printf("\t\t\tf: log folded trees\n");
printf("\t\t\tl: log lowered pre-cfg trees\n");
printf("\t\t\tT: log tree immediately\n");