[sv-ac] Syntax problem with deferred assertion example?

Hi,

The terminating ; (semicolon) is not there in the pass statement of action block from the following example in 16.4.2 on page 314 of LRM-2009 (page 341 of d4):
always @(a or b) begin : b1
a3: assert #0 (a == b) rptobj.success(0); else rptobj.error(0, a, b);
#1;
a4: assert #0 (a == b) rptobj.success(1); else rptobj.error(1, a, b);
end
Whereas, as per the BNF A.6.10, A.6.3, A.6.4 and A.6.9 it seem there should be a terminating semicolon. Is this a known/reported issue?
Warm regards,
Tapan
"You must be the change you want to see in the world" : Mahatma Gandhi

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.