Ops, subi a versão errada
| /* | |
| Read a line (i.e., reads up to a newline '\n' character or the | |
| end-of-file) from the input file and places it into the given | |
| buffer, including the newline character if it is present. The buffer | |
| is resetted before the line is read. | |
| Returns the number of characters read; in particular, returns ZERO | |
| if end-of-file is reached before any characters are read. | |
| */ | |
| int read_line(FILE *input, Buffer *B); |
Isto é a parte que falta, no buffer.h. Vou pedir pro Coelho subir a nova versão.