Hello, Which is correct. Assuming that gdb/cli/cli-XXX.h is, can the former just be deleted? At present GDB has duplicate declarations for things like ``enum command_class'' :-( Andrew