diff options
| -rw-r--r-- | byterun/startup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/startup.c b/byterun/startup.c index 7918f0eea..57f8c970a 100644 --- a/byterun/startup.c +++ b/byterun/startup.c @@ -236,7 +236,7 @@ static int parse_command_line(char **argv) switch(argv[i][1]) { #ifdef DEBUG case 't': - caml_trace_flag = 1; + caml_trace_flag++; break; #endif case 'v': |