#ifndef __OPKELE_VERIFY_OP_H
#define __OPKELE_VERIFY_OP_H

#include <opkele/basic_op.h>

namespace opkele {

    class verify_op : public basic_op {
	public:

	void verify_return_to();
    };

}

#endif /* __OPKELE_VERIFY_OP_H */