Searched defs:internals_ptr_ptr (Results 1 – 1 of 1) sorted by relevance
155 detail::internals **internals_ptr_ptr = detail::get_internals_pp(); in finalize_interpreter() local163 delete *internals_ptr_ptr; in finalize_interpreter() local