Diesel and petrol have different density's so once the car is left sat they will seperate into 2 layers within the tank, they'll only mix together by being shaken about.

Being as it was a small amount it'd probably be ok but myself i would drop the tank and flush it to be on the safe side.