*** 309,322 **** void doit(); bool allow_nested_vm_operations() const { return true; } }; class VM_Verify: public VM_Operation { - private: - bool _silent; public: - VM_Verify(bool silent = VerifySilently) : _silent(silent) {} VMOp_Type type() const { return VMOp_Verify; } void doit(); }; --- 309,319 ----