18.13.1, Page 260

Change

env_prop: assert property (abc(rst,in1,in2)) pass_stat else fail_stat;

TO

env_prop: assert property (abc(rst,in1,in2)) pass_stat $display(“env_prop passed.”); else fail_stat;