Iraq launched airstrikes on ISIS targets inside neighboring Syria on Tuesday, destroying two buildings housing 40 militants and weapons, its military said. F-16 fighter jets destroyed a building where members of the ultra-hardline terrorist group were storing weapons, killing 10 of them. A second strike destroyed a building housing 30 ISIS fighters, it said in a statement. ISIS, which once occupied a third of Iraq’s territory, has been largely defeated in the country but has continued to carry out ambushes, assassinations, and bombings there and still poses a threat along its border with Syria. “The successful operation led to the destruction of a weapons warehouse ... that contained ten terrorists, rockets, and explosives belonging to Daesh (ISIS) gangs,” the statement said. The Iraqi air force has carried out several strikes against ISIS in Syria since last year, with the approval of the Syrian government of President Bashar al-Assad and the US-led coalition fighting ISIS. ISIS has resorted to guerrilla tactics since it abandoned its goal of holding territory and creating a self-declared caliphate straddling Iraq and Syria.