diff options
Diffstat (limited to 'gdb/cli/cli-utils.h')
| -rw-r--r-- | gdb/cli/cli-utils.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/cli/cli-utils.h b/gdb/cli/cli-utils.h index 6158999..09240d0 100644 --- a/gdb/cli/cli-utils.h +++ b/gdb/cli/cli-utils.h @@ -23,8 +23,8 @@ /* *PP is a string denoting a number. Get the number of the. Advance *PP after the string and any trailing whitespace. - Currently the string can either be a number or "$" followed by the - name of a convenience variable. */ + Currently the string can either be a number, or "$" followed by the + name of a convenience variable, or ("$" or "$$") followed by digits. */ extern int get_number (char **); |