An agent of Israel’s Mossad intelligence service was executed on Saturday in Iran’s southeastern province, the official IRNA news agency reported.

“This person communicated with foreign services, specifically Mossad, collecting classified information, and with participation with associates, provided documents to foreign services, including the Mossad,” it said.

It did not name the person.

It said the accused had handed classified information to a “Mossad officer” with the aim of “propaganda for groups and organizations opposed to the Islamic Republic”. It did not say where the alleged handover had taken place.

Iranian foreign minister says neither Iran nor Israel believe in a two state solution

It was not clear when the person was arrested, but IRNA said an appeal had been rejected.

The execution, which took place in a Zahedan jail, came a day after militants attacked a police station in the province, killing 11 security personnel and wounding several others.

A state funeral was held on Saturday for the men in the town of Rask where the attack took place, according to state television. Two militants of the Jaish al-Adl group were also killed in ensuing clashes.