the petrol he put in mixed with the diesel but if its a tiny amount it wouldnt have made any difference to the car but if a lot and he drives it will obviously need drained and bled. petrol is much thinner than diesel and the engines are designed differently. ie diesels rely on pressure to combust the fuel as petrols use electric ! it sshould be ok !