Your pool man should have fixed it when he was there. It is a simple enough of a fix. No idea why he didnt just do it instead of just telling you about it, possibly to try and get another service call.

If you are mechanically inclined, it is a simple fix...depending on the location of the broken wire.