Revert "Try to help for freebsd and paths. Thanks Matthieu Volat for the hints."

[simgrid.git] / src / xbt / automaton / automatonparse_promela.c

diff --git a/src/xbt/automaton/automatonparse_promela.c b/src/xbt/automaton/automatonparse_promela.c
index 8f4fb02a365ded43ce30fb9c209feb08a50fe14c..7121c12908788c29aa361dd8e904efba81b1aa1b 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);
 }