South Korea's foreign ministry said Wednesday that there have been no reported casualties of South Koreans in an armed attack that took place at a hotel in Libya's capital a day earlier.

At least nine people were killed Tuesday (local time) when gunmen presumed to have links to Islamic State militants stormed into a luxury hotel in Tripoli. Several foreign media said that one South Korean national was among those killed.

Seoul's foreign ministry said that no South Korean casualties have been reported so far, citing Libya's ministry of interior.

"But the Seoul government will continue to check the development," it added. (Yonhap)