Update coinSensor.v