diff options
| author | Jan Moskyto Matejka <mq@ucw.cz> | 2016-12-07 15:30:46 +0100 |
|---|---|---|
| committer | Jan Moskyto Matejka <mq@ucw.cz> | 2016-12-07 15:30:46 +0100 |
| commit | ad88b94bca78e010357a6c7806e1d5e01701d4a7 (patch) | |
| tree | 9c06e9c1b0c87f372dcf27cc832d5692db112e80 /lib/resource.c | |
| parent | d15b0b0a1b494c14b139d2d28706d82cd6e2f139 (diff) | |
| parent | af62c0f9f1f6382fe88c8ae5e514f70c0b5b6d05 (diff) | |
Merge branch 'int-new-rpki-squashed' (early part) into int-new
Diffstat (limited to 'lib/resource.c')
| -rw-r--r-- | lib/resource.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/resource.c b/lib/resource.c index 68718dfb..ab8c800f 100644 --- a/lib/resource.c +++ b/lib/resource.c @@ -31,7 +31,7 @@ struct pool { resource r; list inside; - char *name; + const char *name; }; static void pool_dump(resource *); @@ -61,7 +61,7 @@ static int indent; * parent pool. */ pool * -rp_new(pool *p, char *name) +rp_new(pool *p, const char *name) { pool *z = ralloc(p, &pool_class); z->name = name; |