-
-static void inc_line(void)
-{
- if (currentf >= 0)
- ++linect[currentf];
-}
-
-static int getlinect(void)
-{
- return (linect[currentf]);
-}
-
-static void
-setlinect (int n)
-{
- if (currentf >= 0)
- linect[currentf] = n;
-}
-
-static void
-synerr (char *msg)
-{
- fputs (fname[currentf], stderr);
- fprintf(stderr, "%d", linect[currentf]);
- fputc (COLON, stderr);
- fputs (msg, stderr);
- fputc (NEWLINE, stderr);
-}
-
-/*----------------------------------------------------------------------*/
-/* POL INPUT */
-/*----------------------------------------------------------------------*/
+//----------------------------------------------------------------------
+// POL INPUT
+//----------------------------------------------------------------------