diff --git a/src/goto-symex/symex_complexity_limit_exceeded_action.h b/src/goto-symex/symex_complexity_limit_exceeded_action.h
index 3c1e66c8f78..070d1c1c10d 100644
--- a/src/goto-symex/symex_complexity_limit_exceeded_action.h
+++ b/src/goto-symex/symex_complexity_limit_exceeded_action.h
@@ -18,6 +18,9 @@ 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