diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/pdumper.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pdumper.c b/src/pdumper.c index 909900417d9..b5b4050b93d 100644 --- a/src/pdumper.c +++ b/src/pdumper.c | |||
| @@ -4024,7 +4024,7 @@ types. */) | |||
| 4024 | ctx->header.fingerprint[i] = fingerprint[i]; | 4024 | ctx->header.fingerprint[i] = fingerprint[i]; |
| 4025 | 4025 | ||
| 4026 | const dump_off header_start = ctx->offset; | 4026 | const dump_off header_start = ctx->offset; |
| 4027 | dump_fingerprint ("dumping fingerprint", ctx->header.fingerprint); | 4027 | dump_fingerprint ("Dumping fingerprint", ctx->header.fingerprint); |
| 4028 | dump_write (ctx, &ctx->header, sizeof (ctx->header)); | 4028 | dump_write (ctx, &ctx->header, sizeof (ctx->header)); |
| 4029 | const dump_off header_end = ctx->offset; | 4029 | const dump_off header_end = ctx->offset; |
| 4030 | 4030 | ||