[paparazzi-commits] [paparazzi/paparazzi] 857359: [generators] add missing close files

[Gautier Hattenberger]

  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 85735936b79658fdb4b3367414648aaab6d38198
      
https://github.com/paparazzi/paparazzi/commit/85735936b79658fdb4b3367414648aaab6d38198
  Author: Gautier Hattenberger <gautier.hattenberger@enac.fr>
  Date:   2021-05-17 (Mon, 17 May 2021)

  Changed paths:
    M sw/tools/generators/gen_airframe.ml
    M sw/tools/generators/gen_modules.ml
    M sw/tools/generators/gen_settings.ml

  Log Message:
  -----------
  [generators] add missing close files