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])); |