From ba4c66892a856f479a0a9dbad535e897cc612eed Mon Sep 17 00:00:00 2001
From: Alex Gryzlov <skyrodent@gmail.com>
Date: Tue, 23 May 2017 02:33:16 +0300
Subject: [PATCH] fix reversed order of "words" and "lines" in WordCount.idr

---
 Chapter15/WordCount.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Chapter15/WordCount.idr b/Chapter15/WordCount.idr
index 04b535e..b9846f6 100644
--- a/Chapter15/WordCount.idr
+++ b/Chapter15/WordCount.idr
@@ -8,7 +8,7 @@ record WCData where
 doCount : (content : String) -> WCData
 doCount content = let lcount = length (lines content)
                       wcount = length (words content) in
-                      MkWCData lcount wcount
+                      MkWCData wcount lcount
 
 data WC = CountFile String
         | GetData String