dwarflint: Fix a memory error

diff --git a/src/dwarflint/check_highlevel.cc b/src/dwarflint/check_highlevel.cc
index d7b256d1b746c21cde7e13d8de29681888498626..e387d5b2350ad03aa7b5ee39e7c294614145a4e7 100644 (file)
--- a/src/dwarflint/check_highlevel.cc
+++ b/src/dwarflint/check_highlevel.cc
@@ -134,11 +134,9 @@ open_highlevel_dwarf::open_highlevel_dwarf (dwarflint &lint)
   : _m_dwfl (open_dwfl ())
   , _m_dw (open_dwarf (_m_dwfl, lint.fname (), lint.fd ()))
   , dw (open_hl_dwarf (_m_dw))
-{
-}
+{}
 
 open_highlevel_dwarf::~open_highlevel_dwarf ()
 {
-  dwarf_end (_m_dw);
   dwfl_end (_m_dwfl);
 }