| Index: firmware/stub/tpm_lite_stub.c
|
| diff --git a/firmware/stub/tpm_lite_stub.c b/firmware/stub/tpm_lite_stub.c
|
| index a302dccee7c70747c4d9b55c0070d3b02beb22fd..2695fae35d7136bec9a0d5ee080577588b52e6eb 100644
|
| --- a/firmware/stub/tpm_lite_stub.c
|
| +++ b/firmware/stub/tpm_lite_stub.c
|
| @@ -36,7 +36,7 @@ static int tpm_fd = -1;
|
|
|
| /* Print |n| bytes from array |a|, with newlines.
|
| */
|
| -POSSIBLY_UNUSED static void PrintBytes(uint8_t* a, int n) {
|
| +POSSIBLY_UNUSED static void PrintBytes(const uint8_t* a, int n) {
|
| int i;
|
| for (i = 0; i < n; i++) {
|
| VBDEBUG(("%02x ", a[i]));
|
|
|