From 5b05d3668571bd9b748b781b0cc29ae10f745f61 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 10 Mar 2016 13:35:48 +0100
Subject: Code cleanup.

Removed some unused variables, functions etc. and resolved some
problems which occur if all warnings except 3,4,9 and 29 are active.
Bug 18394.
---
 lib/Printlines.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/Printlines.mli')

diff --git a/lib/Printlines.mli b/lib/Printlines.mli
index 79201f86..545eb033 100644
--- a/lib/Printlines.mli
+++ b/lib/Printlines.mli
@@ -20,8 +20,10 @@ type filebuf
 
 val openfile: string -> filebuf
         (** Open the file with the given name. *)
+
 val close: filebuf -> unit
         (** Close the file underlying the given buffer. *)
+
 val copy: out_channel -> string -> filebuf -> int -> int -> unit
         (** [copy oc pref buf first last] copies lines number [first]
             to [last], included, to the channel [oc].  Each line is
-- 
cgit