spin: make generated code match installed headers

This commit is contained in:
Ori Bernstein 2024-10-18 15:33:26 +00:00
parent 3f33d868fe
commit c73d5a559f

View file

@ -1093,7 +1093,7 @@ static const char *Proto[] = {
"void dot_crack(int, int, Trans *);",
"void do_reach(void);",
"void pan_exit(int);",
"void exit(int);",
"_Noreturn void exit(int);",
"#ifdef BFS_PAR",
" void bfs_setup_mem(void);",
"#endif",