Tom Tromey 81eaa50610 Handle ghost entities in symbol lookup ...

Normally, SPARK ghost entities are removed from the executable.
However, with -gnata, they will be preserved.  In this situation, it's
handy to be able to inspect them.  This patch allows this by removing
the "___ghost_" prefix in the appropriate places.

2022-04-04 12:28:31 -06:00

..

gpck.ads

…

main.adb

…

pck.ads

…