03-get-lines-number.patch

[Akim Demaille]

Index: ChangeLog
from  Akim Demaille  <address@hidden>
        
        * src/output.h, src/output.c (get_lines_number): Remove.
        
Index: src/output.c
--- src/output.c Tue, 09 Apr 2002 19:37:32 +0200 akim
+++ src/output.c Wed, 10 Apr 2002 22:05:42 +0200 akim
@@ -132,20 +132,6 @@
 
 int error_verbose = 0;
 
-/* Returns the number of lines of S.  */
-size_t
-get_lines_number (const char *s)
-{
-  size_t lines = 0;
-
-  size_t i;
-  for (i = 0; s[i]; ++i)
-    if (s[i] == '\n')
-      ++lines;
-
-  return lines;
-}
-
 
 /*----------------------------------------------------------------.
 | Format the FIRST and then TABLE_DATA[BEGIN..END[ into OOUT, and |
Index: src/output.h
--- src/output.h Mon, 04 Feb 2002 23:18:59 +0100 akim
+++ src/output.h Wed, 10 Apr 2002 22:05:55 +0200 akim
@@ -1,5 +1,5 @@
 /* Output the generated parsing program for bison,
-   Copyright 2000, 2001  Free Software Foundation, Inc.
+   Copyright (C) 2000, 2001, 2002  Free Software Foundation, Inc.
 
    This file is part of Bison, the GNU Compiler Compiler.
 
@@ -25,8 +25,6 @@
 
 /* Output the parsing tables and the parser code to FTABLE.  */
 void output PARAMS ((void));
-
-size_t get_lines_number PARAMS ((const char *s));
 
 void actions_output PARAMS ((FILE *out));
 void guards_output PARAMS ((FILE *out));