#include "writelines.h"
#include <stdio.h>

void
writelines (char *lineptr[], int nlines)
{
  int i;
  for (i = 0; i < nlines; i++)
    printf ("%s\n", lineptr[i]);
} // writelines