[sv-bc] simple mistake in example in 13.4.4 Background processes spawned by function calls

if (start_check() ) %display( "OK too"); // legal

should rather be:

if (start_check() ) $display( "OK too"); // legal

Sorry for sending it to sv-bc but my email cannot reach sv-ec.

DANiel


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