* value.c (deprecated_set_value_modifiable): Remove.
authorTom Tromey <tromey@redhat.com>
Tue, 29 Jan 2013 18:54:24 +0000 (18:54 +0000)
committerTom Tromey <tromey@redhat.com>
Tue, 29 Jan 2013 18:54:24 +0000 (18:54 +0000)
commita543d2a92e50ea5689748f74eb23efc02e82b008
tree484d4354775bfd3ad65097fd5d80abbc1e831404
parent427d0db66d1e3d142faa5080a1cc572ff17bbbb7
* value.c (deprecated_set_value_modifiable): Remove.
* value.h (deprecated_set_value_modifiable): Remove.
gdb/ChangeLog
gdb/value.c
gdb/value.h