Merge pull request diffblue#1579 from smowton/smowton/fix/cmdline_destructor

Daniel Kroening · web-flow · commit 2b4ed774c5f6 · 2017-11-12T19:07:44.000Z
Remove useless cmdlinet::clear() call
diff --git a/src/util/cmdline.cpp b/src/util/cmdline.cpp
@@ -18,7 +18,6 @@ cmdlinet::cmdlinet()
 
 cmdlinet::~cmdlinet()
 {
-  clear();
 }
 
 void cmdlinet::clear()
