More whitespaces for codefactor.io.

[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 6bd2626c2f7472a7de54781f79056f73a0de616b..7c7c90ac12c3aa67905fd94ffb738ebe45791061 100644 (file)
--- 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);
 }