c2310184f9
to the wrong distfile (there are 2 or 3 different versions of dviselect, but the differences are essentially cosmetic)
10 lines
323 B
Text
10 lines
323 B
Text
--- dviselect.c~ Wed Nov 15 13:19:15 1989
|
|
+++ dviselect.c Mon Jul 3 00:38:25 2000
|
|
@@ -122,7 +122,6 @@
|
|
/* 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,
|