diff options
Diffstat (limited to 'properties.y')
| -rw-r--r-- | properties.y | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/properties.y b/properties.y index 9785e1c..0f8c8d4 100644 --- a/properties.y +++ b/properties.y @@ -46,6 +46,11 @@ extern FILE *yyin; void properties_load(FILE *file) { + if (file == NULL) { + fprintf(stderr, "No file to read.\n"); + exit(1); + } + yyin = file; do { |