#495 assert property with else

[KAZIM YUMBUL]

I got an error message for the given expression for "else" statement. "invalid type name else"

req_gnt_assert : assert property (req_gnt_prop)
else
$display("@%0dns Assertion Failed", $time);

[StevenAZ]

Can I ask which version of SVE you are using? I am not able to replicate the error in 1.9.9.

[KAZIM YUMBUL]

Sorry, my mistake you can close the ticket.