/* vi: set tabstop=4 shiftwidth=4 */

/*
 * $Id: fgetline.h,v 2.2 2005/08/07 17:20:16 schweikh Exp $
 */

#include <stdio.h> /* FILE */

    /*@null@*/ /*@only@*/ char *
fgetline (FILE *fp, int eol)
    /*@modifies *fp@*/;

#define getline(eol) fgetline (stdin, (eol))