Reducing the Size of Ada Executables with gnatelim

This section describes gnatelim, a tool which detects unused subprograms and helps the compiler to create a smaller executable for your program.