From 7309bb55506e8fe0242e4442b2c3b1c81c575fda Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 29 Dec 2004 14:18:13 +0000 Subject: [PATCH] - Fixed debug comment. --- src/main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main.c b/src/main.c index c361705..7fd3f31 100644 --- a/src/main.c +++ b/src/main.c @@ -129,7 +129,7 @@ main (int argc, char **argv) struct arg_lit *switch_incremental_runs = arg_lit0 (NULL, "increment-runs", "incremental search using the number of runs"); struct arg_int *switch_goal_select_method = - arg_int0 (NULL, "goal-select", NULL, "use goal selection method (default 0)"); + arg_int0 (NULL, "goal-select", NULL, "use goal selection method (default 3)"); struct arg_lit *switch_latex_output = arg_lit0 (NULL, "latex", "output attacks in LaTeX format"); struct arg_lit *switch_empty =