Israel was updated before raid on ISIS leader

Source says US updated Israel prior to raid in Syria in which ISIS leader Abu Ibrahim al-Hashimi al-Qurayshi was killed.