Make virtual the destructor for symex_complexity_limit_exceeded_actiont.

Mark R. Tuttle · Mark R. Tuttle · commit ed831406b7c2 · 2019-10-17T11:18:47.000-04:00
diff --git a/src/goto-symex/symex_complexity_limit_exceeded_action.h b/src/goto-symex/symex_complexity_limit_exceeded_action.h
@@ -18,6 +18,7 @@ class symex_complexity_limit_exceeded_actiont
   {
     current_state.reachable = false;
   }
+  virtual ~symex_complexity_limit_exceeded_actiont() {}
 };
 
 #endif // CPROVER_GOTO_SYMEX_SYMEX_COMPLEXITY_LIMIT_EXCEEDED_ACTION_H

Original file line number	Diff line number	Diff line change
`@@ -18,6 +18,7 @@ class symex_complexity_limit_exceeded_actiont`
`18`	`18`	`{`
`19`	`19`	`current_state.reachable = false;`
`20`	`20`	`}`
	`21`	`+ virtual ~symex_complexity_limit_exceeded_actiont() {}`
`21`	`22`	`};`
`22`	`23`
`23`	`24`	`#endif // CPROVER_GOTO_SYMEX_SYMEX_COMPLEXITY_LIMIT_EXCEEDED_ACTION_H`