| 210 | } |
| 211 | |
| 212 | void undefined_goal(char *s) { |
| 213 | error(lineno, 0, 0, "the start symbol %s is undefined", s); |
| 214 | } |
| 215 | |
| 216 | void undefined_symbol_warning(char *s) { |
| 217 | fprintf(stderr, "warning - the symbol %s is undefined\n", s); |
no test coverage detected