From 006f874c2549cd72d9892f1c1e26a2656f9d2b67 Mon Sep 17 00:00:00 2001
From: Martin Jambon <martin@mjambon.com>
Date: Mon, 22 Aug 2011 22:42:28 -0700
Subject: [PATCH] Using bigger buffer (with no evidence that it improves
 performance)

---
 wcl.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wcl.ml b/wcl.ml
index 758d32b..49e8681 100644
--- a/wcl.ml
+++ b/wcl.ml
@@ -96,7 +96,7 @@ let rec read_file total_bytes initial_bytes initial_lines fname ic buf =
 let count total_bytes initial_bytes initial_lines fname =
   let ic = open_in fname in
   try
-    let buf = String.create 8192 in
+    let buf = String.create (1024 * 1024) in
     let lines =
       read_file total_bytes initial_bytes initial_lines fname ic buf in
     close_in ic;