| changeset 17112 | e49af4ba7755 |
| parent 16680 | 960505df90e7 |
| child 18025 | b7bcf7497f93 |
| 17111:77f553b98e63 | 17112:e49af4ba7755 |
|---|---|
300 |
300 |
301 class VM_Verify: public VM_Operation { |
301 class VM_Verify: public VM_Operation { |
302 private: |
302 private: |
303 bool _silent; |
303 bool _silent; |
304 public: |
304 public: |
305 VM_Verify(bool silent) : _silent(silent) {} |
305 VM_Verify(bool silent = VerifySilently) : _silent(silent) {} |
306 VMOp_Type type() const { return VMOp_Verify; } |
306 VMOp_Type type() const { return VMOp_Verify; } |
307 void doit(); |
307 void doit(); |
308 }; |
308 }; |
309 |
309 |
310 |
310 |