resolver_op: remove unneeded including of a header