blob: 36d026b772c47e8cfe75d259272b0ceb0269000a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
*** dviselect.c~ Tue Nov 27 08:53:14 1990
--- dviselect.c Thu Oct 6 22:01:13 1994
***************
*** 122,128 ****
/* save some string space: we use this a lot */
char writeerr[] = "error writing DVI file";
! char *malloc(), *realloc(), *sprintf();
/*
* lint gets rather confused with the current definitions of getc and putc,
--- 122,128 ----
/* save some string space: we use this a lot */
char writeerr[] = "error writing DVI file";
! char *malloc(), *realloc();
/*
* lint gets rather confused with the current definitions of getc and putc,
|
