I think it must be an aftermarket one - they've given it the slack in the cable like they would with any other car that doesn't have the spring, but its made the pedal feel odd compared to what I've got used to.
At least the car is driving again, although I might ask them about replacing it with a proper OEM one - don't know if I could expect them to do it at a reduced rate due to the proper one not being fitted in the first place, although I didn't specify I wanted an OEM one at the time.....?