-static void print_source_position(FILE *out, source_position_t pos) {
- fprintf(out, "at line %u", pos.linenr);
- if (curr_pos == NULL || curr_pos->input_name != pos.input_name)
- fprintf(out, " of \"%s\"", pos.input_name);
+static void print_source_position(FILE *out, const source_position_t *pos) {
+ fprintf(out, "at line %u", pos->linenr);
+ if (curr_pos == NULL || curr_pos->input_name != pos->input_name)
+ fprintf(out, " of \"%s\"", pos->input_name);