"His friends none the wiser, Tom surveryed the results of his white washing"

Is this an example of verbal irony or a pun