From 3feb8da60d8c83216a73059d35a10b38bc2911be Mon Sep 17 00:00:00 2001 From: Matthew Fernandez Date: Sun, 15 Nov 2020 16:32:27 -0800 Subject: [PATCH] remove an unnecessary destructor These vector members of the class are automatically cleared when an object of this type is destructed. --- lib/vpsc/variable.h | 5 ----- 1 file changed, 5 deletions(-) diff --git a/lib/vpsc/variable.h b/lib/vpsc/variable.h index e284d8c33..30bf3d627 100644 --- 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 -- 2.40.0