diff options
Diffstat (limited to 'src/util/model.h')
| -rw-r--r-- | src/util/model.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/util/model.h b/src/util/model.h index 9b7db536f..36a5464b4 100644 --- a/src/util/model.h +++ b/src/util/model.h @@ -43,13 +43,15 @@ private: std::vector< Command* > d_commands; std::vector< int > d_command_types; public: + /** virtual destructor */ + virtual ~Model() {} /** add command */ virtual void addCommand( Command* c, int c_type ){ d_commands.push_back( c ); d_command_types.push_back( c_type ); } /** get number of commands to report */ - int getNumCommands() { return (int)d_commands.size(); } + size_t getNumCommands() { return d_commands.size(); } /** get command */ Command* getCommand( int i ) { return d_commands[i]; } /** get type of command */ |