* jv-valprint.c (java_value_print): Look at TYPE_TAG_NAME, not
authorTom Tromey <tromey@redhat.com>
Fri, 21 Feb 2003 02:49:12 +0000 (02:49 +0000)
committerTom Tromey <tromey@redhat.com>
Fri, 21 Feb 2003 02:49:12 +0000 (02:49 +0000)
commitd4cad8db8c3e700898454d5b67276378955e4bec
treebe1c520d0a39a3bb00c69fe88b623fe67afecf15
parentd38074a8d521837f899bf8894f20d96c64898704
* jv-valprint.c (java_value_print): Look at TYPE_TAG_NAME, not
TYPE_NAME, when printing a String value.  PR java/1075.
gdb/ChangeLog
gdb/jv-valprint.c