Convert line_format to a #define

Using an extern disables error checking of the parameters in "modern"
compilers.
master
David Allsopp 2019-04-16 17:30:57 +01:00
parent dd851027b1
commit fd9e7b2ee8
2 changed files with 1 additions and 3 deletions

View File

@ -245,7 +245,7 @@ extern int ntokens;
extern int nvars;
extern int ntags;
extern char line_format[];
#define line_format "# %d \"%s\"\n"
extern int start_symbol;
extern char **symbol_name;

View File

@ -49,8 +49,6 @@ bucket **plhs;
int name_pool_size;
char *name_pool;
char line_format[] = "# %d \"%s\"\n";
static unsigned char caml_ident_start[32] =
"\000\000\000\000\000\000\000\000\376\377\377\207\376\377\377\007\000\000\000\000\000\000\000\000\377\377\177\377\377\377\177\377";
static unsigned char caml_ident_body[32] =