diff options
| -rw-r--r-- | serverboot/default_pager.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/serverboot/default_pager.c b/serverboot/default_pager.c index be6b13be..f0cb4d49 100644 --- a/serverboot/default_pager.c +++ b/serverboot/default_pager.c @@ -142,8 +142,7 @@ void set_partition_of(x, p) * Saves space, filenames can be long. */ unsigned int -part_id(name) - unsigned char *name; +part_id(const unsigned char *name) { register unsigned int len, id, xorid; |