new LUK clutch kit issue

Good morning, I just had my tech at the Chrysler dealer I work for install a LUK clutch kit, well after its all back together he cant get the clutch ped to depress. He took slave cylinder off and it works fine, it drove into the shop prior to have the clutch replaced. Any Ideas ? I'm hoping he didnt leave the wire tie on it that I saw was holding the clutch fork back during job.