Use override instead of virtual

Makes it clearer that the methods override that of the base class.

Author: romainbrenguier

src/goto-symex/symex_dereference_state.h

@@ -32,13 +32,10 @@ class symex_dereference_statet:
   goto_symext &goto_symex;
   goto_symext::statet &state;
 
-  virtual void get_value_set(
-    const exprt &expr,
-    value_setst::valuest &value_set);
+  void
+  get_value_set(const exprt &expr, value_setst::valuest &value_set) override;
 
-  virtual bool has_failed_symbol(
-    const exprt &expr,
-    const symbolt *&symbol);
+  bool has_failed_symbol(const exprt &expr, const symbolt *&symbol) override;
 };
 
 #endif // CPROVER_GOTO_SYMEX_SYMEX_DEREFERENCE_STATE_H