Adding model assertions after SAT responses.

[cvc5.git] / src / util / model.h

diff --git a/src/util/model.h b/src/util/model.h
index 9b7db536fa1227f84f205dede8a152b2e3a257ea..36a5464b4576c11e96e87f65bfbd9df0418e8561 100644 (file)
--- 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 */