From 7c497156cf4c0eef188847cc522f9c116c1d06a7 Mon Sep 17 00:00:00 2001 From: ross Date: Mon, 5 Jan 2004 10:07:25 +0000 Subject: [PATCH] [project @ 2004-01-05 10:07:25 by ross] doc tweak --- GHC/IOBase.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/GHC/IOBase.lhs b/GHC/IOBase.lhs index d5a997c..b669a11 100644 --- a/GHC/IOBase.lhs +++ b/GHC/IOBase.lhs @@ -399,7 +399,7 @@ type FilePath = String -- but not less frequently, than specified above. -- The output buffer is emptied as soon as it has been written out. -- --- Similarly, input occurs according to the buffer mode for handle {\em hdl}. +-- Similarly, input occurs according to the buffer mode for the handle: -- -- * /line-buffering/: when the buffer for the handle is not empty, -- the next item is obtained from the buffer; otherwise, when the -- 1.7.10.4