From e5621a213ebfc44267a718ae3cb858d30553ba76 Mon Sep 17 00:00:00 2001 From: Petr Machata Date: Mon, 30 Nov 2009 07:47:18 +0100 Subject: [PATCH] dwarflint: Fix a memory error --- src/dwarflint/check_debug_info.cc | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/dwarflint/check_debug_info.cc b/src/dwarflint/check_debug_info.cc index 769b1dcc9..623dbc30a 100644 --- a/src/dwarflint/check_debug_info.cc +++ b/src/dwarflint/check_debug_info.cc @@ -1186,8 +1186,3 @@ check_debug_info::check_debug_info (dwarflint &lint) if (cus.size () > 0) assert (cus.back ().next == NULL); } - -check_debug_info::~check_debug_info () -{ - cu_free (&cus.back ()); -} -- 2.47.3