remove an unnecessary destructor

These vector members of the class are automatically cleared when an object of
this type is destructed.

diff --git a/lib/vpsc/variable.h b/lib/vpsc/variable.h
index e284d8c3342c0e1538c586e6271722bd3ba4ca5e..30bf3d627e5a55319119ce9a5e1addcd62aa08d5 100644 (file)
--- a/lib/vpsc/variable.h
+++ b/lib/vpsc/variable.h
@@ -50,10 +50,5 @@ public:
        inline double position() const {
                return block->posn+offset;
        }
-       //double position() const;
-       ~Variable(void){
-               in.clear();
-               out.clear();
-       }
 };
 #endif // SEEN_REMOVEOVERLAP_VARIABLE_H