X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/26ba5558401021cb3854f2f1a5ffedd7044f6823..39c935d6d5ee86d153f6f7e6a10d723ae7c57f6f:/src/xbt/automaton/automatonparse_promela.c

diff --git a/src/xbt/automaton/automatonparse_promela.c b/src/xbt/automaton/automatonparse_promela.c
index 6bd2626c2f..7c7c90ac12 100644
--- a/src/xbt/automaton/automatonparse_promela.c
+++ b/src/xbt/automaton/automatonparse_promela.c
@@ -1,6 +1,6 @@
 /* methods for implementation of automaton from promela description */
 
-/* Copyright (c) 2011-2019. The SimGrid Team. All rights reserved.          */
+/* Copyright (c) 2011-2021. The SimGrid Team. All rights reserved.          */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
@@ -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);
 }