diff options
Diffstat (limited to 'mps/code/root.c')
| -rw-r--r-- | mps/code/root.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mps/code/root.c b/mps/code/root.c index bd2dd21f5ea..374497e4a77 100644 --- a/mps/code/root.c +++ b/mps/code/root.c | |||
| @@ -506,7 +506,7 @@ Res RootScan(ScanState ss, Root root) | |||
| 506 | AVER(res == ResOK); | 506 | AVER(res == ResOK); |
| 507 | root->grey = TraceSetDiff(root->grey, ss->traces); | 507 | root->grey = TraceSetDiff(root->grey, ss->traces); |
| 508 | rootSetSummary(root, ScanStateSummary(ss)); | 508 | rootSetSummary(root, ScanStateSummary(ss)); |
| 509 | EVENT_PWW(RootScan, root, ss->traces, ScanStateSummary(ss)); | 509 | EVENT3(RootScan, root, ss->traces, ScanStateSummary(ss)); |
| 510 | 510 | ||
| 511 | failScan: | 511 | failScan: |
| 512 | if (root->pm != AccessSetEMPTY) { | 512 | if (root->pm != AccessSetEMPTY) { |