From db34964ea6c74a779a8dcbf82afc095c8ad80404 Mon Sep 17 00:00:00 2001
From: Malte Legenhausen <mlegenhausen@gmail.com>
Date: Mon, 29 Oct 2018 16:24:56 +0100
Subject: [PATCH] Changes from #20 integrated

---
 src/io-ts.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/io-ts.ts b/src/io-ts.ts
index ba89d57..5c9945b 100644
--- a/src/io-ts.ts
+++ b/src/io-ts.ts
@@ -116,7 +116,7 @@ export function createRemoteDataFromJSON<
 		a =>
 			a.foldL<JSONRemoteData<OL, OR>>(
 				() => ({ type: 'Initial' }),
-				() => ({ type: 'Pending', progress: JSONProgress.encode((a as any).progress) }),
+				progress => ({ type: 'Pending', progress: JSONProgress.encode(progress) }),
 				l => ({ type: 'Failure', error: leftType.encode(l) }),
 				a => ({ type: 'Success', value: rightType.encode(a) }),
 			),