If your wondering/worried about this from a Clutch is worn point of view, it's not.
The clutch pedal just engages/disengages a switch no an actual disk.
There might be some adjustment to the switch to change it slightly, but I wouldn't count on much.
Get the WSM (aka service manual) to adjust it if possible.