Definition of Irony

Text message I got from a Korean friend of mine yesterday:

"Sorry. I can't meet you tonight for dinner. I have to study English."