Update properties.pxd