From 1922a0df9e61d36f0d2c11e71ca7a8e9b03f81cf Mon Sep 17 00:00:00 2001
From: Stephen Williams <steve@icarus.com>
Date: Wed, 29 Oct 2008 21:03:44 -0700
Subject: [PATCH] Fix C++ compiler warning.

classes with virtual methods must have virtual destructors. Otherwise,
destruction may not work corectly.
---
 vvp/vvp_net.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vvp/vvp_net.h b/vvp/vvp_net.h
index a4a21afcf..6d3084749 100644
--- a/vvp/vvp_net.h
+++ b/vvp/vvp_net.h
@@ -474,7 +474,7 @@ class vvp_vector4array_t {
 
     public:
       vvp_vector4array_t(unsigned width, unsigned words);
-      ~vvp_vector4array_t();
+      virtual ~vvp_vector4array_t();
 
       unsigned width() const { return width_; }
       unsigned words() const { return words_; }