If they just pushed the piston back in and didn't crack open the bleeder valve, they might have damaged your ABS sensor. If it is not damaged, the code usually will clear itself.
If was damaged and the replaced it, and the code won't go away, you can go to an auto store like Autozone and they can turn it off with there scanner.