This commit is contained in:
Bernhard M. Wiedemann 2025-05-02 16:50:38 +00:00 committed by GitHub
commit 4756cd10c0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -458,7 +458,7 @@ static void emitdefs(Nonterm nts, int ntnumber) {
static void emitheader(void) {
time_t timer = time(NULL);
print("/*\ngenerated at %sby %s\n*/\n", ctime(&timer), rcsid);
print("/*\ngenerated by %s\n*/\n", rcsid);
print("static void %Pkids(NODEPTR_TYPE, int, NODEPTR_TYPE[]);\n");
print("static void %Plabel(NODEPTR_TYPE);\n");
print("static int %Prule(void*, int);\n\n");