GC get_active_ext_lang
authorPedro Alves <pedro@palves.net>
Fri, 10 Feb 2023 19:23:01 +0000 (19:23 +0000)
committerPedro Alves <pedro@palves.net>
Wed, 15 Feb 2023 20:58:10 +0000 (20:58 +0000)
commit90ae0fe902e76a0cb8255eef065cc39c561b7bff
treebbbe339f646aec47cf5dd02d14d1b75954547c7c
parent0ace6ace1bfc2982f62ec684cdb26de64aec3366
GC get_active_ext_lang

get_active_ext_lang is not used anywhere.  Delete it.

Approved-By: Tom Tromey <tom@tromey.com>
Change-Id: I4c2b6d0d11291103c098e4db1d6ea449875c96b7
gdb/extension-priv.h
gdb/extension.c