SVA error Property declaration must end with "endproperty"

In reply to Nimisha Varadkar:

I’m getting an error Property declaration must end with “endproperty” in the following property. Help needed!
property addr_incr_p(_vld, _addr);
@(posedge clk) disable iff(!int_rstn)
if($fell(_vld))
(1’b1,addr_incr_func(_addr)) |-> (_addr==($past(_addr)));
else
_vld |=> (1’b1,addr_incr_func(_addr)) |-> (_addr==($past(_addr)+1));
endproperty
assert property (addr_incr_p(vld, addr)) else begin`uvm_error(“GENERIC PROPERTY”,$sformatf("ADDRESS %0h ",addr)) end;

It worked without the ; before else part!