From f649d0d33aa803262e2db5a4c7af174e6633d2ed Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky <pfalcon@users.sourceforge.net>
Date: Thu, 19 Mar 2015 00:01:26 +0200
Subject: [PATCH] tinf_uncompress(): Mark unused argument.

Patch by Damien George from
https://github.com/micropython/micropython/pull/1082.patch
---
 src/tinflate.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tinflate.c b/src/tinflate.c
index 6deeda2..a230eb6 100644
--- a/src/tinflate.c
+++ b/src/tinflate.c
@@ -449,6 +449,7 @@ void tinf_init(void)
 int tinf_uncompress(void *dest, unsigned int *destLen,
                     const void *source, unsigned int sourceLen)
 {
+   (void)sourceLen;
    TINF_DATA d;
    int res;