diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-15 11:48:39 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-15 21:42:30 +0100 |
| commit | f885fde0a7177f954893be22efdf8c55c7c40fdb (patch) | |
| tree | 1052965ca2da8f0e22142205d8fe1bb4de0fd531 /ddb/db_command.h | |
| parent | 442227ee5519f307e9f74030a9eeb7aa7983a4bc (diff) | |
ddb: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'ddb/db_command.h')
| -rw-r--r-- | ddb/db_command.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ddb/db_command.h b/ddb/db_command.h index 30e1f21..5f0236a 100644 --- a/ddb/db_command.h +++ b/ddb/db_command.h @@ -41,9 +41,9 @@ #include <machine/setjmp.h> extern void db_command_loop(void); -extern boolean_t db_option(char *, int); +extern boolean_t db_option(const char *, int); -extern void db_error(char *); /* report error */ +extern void db_error(const char *); /* report error */ extern db_addr_t db_dot; /* current location */ extern db_addr_t db_last_addr; /* last explicit address typed */ |