@@ -309,14 +309,11 @@ 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(); };