Minor cleanups in printcmd.c
authorTom Tromey <tom@tromey.com>
Fri, 27 Apr 2018 22:04:13 +0000 (16:04 -0600)
committerTom Tromey <tom@tromey.com>
Fri, 4 May 2018 18:22:44 +0000 (12:22 -0600)
commit2f433492bd9dd3af10aab8d92dc0bfbf8ff6c5e8
treef4ad8e086a98aecea3977d420407faef9b3fc25d
parent9be2ae8fc6b908746d9d7ebaf77aec8abba5dd2c
Minor cleanups in printcmd.c

This changes decode_format to use skip_spaces, and changes printcmd.c
not to include tui.h, which apparently is not needed.

2018-05-04  Tom Tromey  <tom@tromey.com>

* printcmd.c: Don't include tui.h.
(decode_format): Use skip_spaces.
gdb/ChangeLog
gdb/printcmd.c