Compiles thus
void setup()
{
pinMode(3, OUTPUT);
digitalWrite(3, LOW);
attachInterrupt(sensePin,pumpOn,FALLING);
}
Maybe digitalPinToInterrupt hasn't been incorporated into the '85 core.
I don't know what that's supposed to accomplish. (It wasn't around the only time I did with an Interrupt (10 years ago).)