@ -305,10 +305,10 @@ if (verbosity) {
}
if (verbosity > 1) {
puts("=========================");
fputs("=========================\n", stderr);
filterstack_list(0, __FILE__);
filterstack_list(1, __FILE__);
nbrsteps = atoi(argv[optind+2]);