It is the last place when the file is read, so close it.
Unified · Split
| @@ -758,8 +758,10 @@ int main(int argc, char **argv) · 757 unmodified lines | |||
| 758 | /* setlinebuf(debugfile); */ | 758 | /* setlinebuf(debugfile); */ |
| 759 | } | 759 | } |
| 760 | 760 | ||
| 761 | if (flag_reference) | 761 | if (flag_reference) { |
| 762 | read_reference(ref_file); | 762 | read_reference(ref_file); |
| 763 | fclose(ref_file); | ||
| 764 | } | ||
| 763 | 765 | ||
| 764 | yyparse(); | 766 | yyparse(); |
| 765 | 767 | ||