Close file after use.

diff --git a/src/xbt/automaton/automatonparse_promela.c b/src/xbt/automaton/automatonparse_promela.c
index 8f4fb02..7121c12 100644 (file)
--- a/src/xbt/automaton/automatonparse_promela.c
+++ b/src/xbt/automaton/automatonparse_promela.c
@@ -67,4 +67,5 @@ void xbt_automaton_load(xbt_automaton_t a, const char *file)
   if (yyin == NULL)
     xbt_die("Failed to open automaton file `%s': %s", file, strerror(errno));
   yyparse();
+  fclose(yyin);
 }