13
0

remove unused local variable

This commit is contained in:
Paul Davis 2024-07-11 19:05:15 -06:00
parent 68ebcc36a9
commit eeccb813bb

View File

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