diff options
Diffstat (limited to 'mps/code/trace.c')
| -rw-r--r-- | mps/code/trace.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mps/code/trace.c b/mps/code/trace.c index ff13b6180a9..b4b17c11b49 100644 --- a/mps/code/trace.c +++ b/mps/code/trace.c | |||
| @@ -974,7 +974,7 @@ static void traceFindGrey_diag(Bool found, Rank rank) | |||
| 974 | *report_lim++ = this; | 974 | *report_lim++ = this; |
| 975 | *report_lim++ = '\0'; | 975 | *report_lim++ = '\0'; |
| 976 | DIAG_SINGLEF(( "traceFindGrey", | 976 | DIAG_SINGLEF(( "traceFindGrey", |
| 977 | "rank sequence: $S\n", | 977 | "rank sequence: $S", |
| 978 | (WriteFS)report_array, | 978 | (WriteFS)report_array, |
| 979 | NULL )); | 979 | NULL )); |
| 980 | } | 980 | } |