ui-out.c: Remove unused parameter to push_level
authorSimon Marchi <simon.marchi@polymtl.ca>
Sat, 8 Oct 2016 23:47:09 +0000 (19:47 -0400)
committerSimon Marchi <simon.marchi@polymtl.ca>
Sat, 8 Oct 2016 23:51:44 +0000 (19:51 -0400)
commit49d06418ada11004ca1cdc0ec5847358e83fc67a
tree7b0aa06399baf9bbb3c2e4daad46650edd2cd664
parentb6f80bb873981d21a00960ea372046b0424a553a
ui-out.c: Remove unused parameter to push_level

The parameter "id" is unused.

gdb/ChangeLog:

* ui-out.c (push_level): Remove "id" parameter.
(ui_out_begin): Update call.
gdb/ChangeLog
gdb/ui-out.c