summaryrefslogtreecommitdiff
path: root/ddb/db_write_cmd.c
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-12-15 11:48:39 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-15 21:42:30 +0100
commitf885fde0a7177f954893be22efdf8c55c7c40fdb (patch)
tree1052965ca2da8f0e22142205d8fe1bb4de0fd531 /ddb/db_write_cmd.c
parent442227ee5519f307e9f74030a9eeb7aa7983a4bc (diff)
ddb: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'ddb/db_write_cmd.c')
-rw-r--r--ddb/db_write_cmd.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/ddb/db_write_cmd.c b/ddb/db_write_cmd.c
index 1908005..46a2ee3 100644
--- a/ddb/db_write_cmd.c
+++ b/ddb/db_write_cmd.c
@@ -55,7 +55,7 @@ db_write_cmd(address, have_addr, count, modif)
db_expr_t address;
boolean_t have_addr;
db_expr_t count;
- char * modif;
+ const char * modif;
{
db_addr_t addr;
db_expr_t old_value;