diff options
Diffstat (limited to 'gdb/valprint.h')
| -rw-r--r-- | gdb/valprint.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gdb/valprint.h b/gdb/valprint.h index 817e5cd..b853b1a 100644 --- a/gdb/valprint.h +++ b/gdb/valprint.h @@ -90,6 +90,10 @@ struct value_print_options /* If nonzero, print the value in "summary" form. */ int summary; + + /* If nonzero, when printing a pointer, print the symbol to which it + points, if any. */ + int symbol_print; }; /* The global print options set by the user. In general this should |