13
0

remove unused local variable

This commit is contained in:
Paul Davis 2024-07-11 19:05:15 -06:00
parent 6650850db0
commit 8d14dbbe0c

View File

@ -649,8 +649,6 @@ Session::immediately_post_engine ()
void
Session::destroy ()
{
vector<void*> debug_pointers;
/* if we got to here, leaving pending state around
* is a mistake.
*/