paparazzi-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[paparazzi-commits] [paparazzi/paparazzi] 9fe528: [generator] improve er


From: Gautier Hattenberger
Subject: [paparazzi-commits] [paparazzi/paparazzi] 9fe528: [generator] improve error messages
Date: Tue, 27 Jul 2021 09:35:31 -0700

  Branch: refs/heads/autopilot_reorg
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 9fe528ab540928e84db74b1717c07c91a38a4310
      
https://github.com/paparazzi/paparazzi/commit/9fe528ab540928e84db74b1717c07c91a38a4310
  Author: Gautier Hattenberger <gautier.hattenberger@enac.fr>
  Date:   2021-07-27 (Tue, 27 Jul 2021)

  Changed paths:
    M sw/lib/ocaml/aircraft.ml

  Log Message:
  -----------
  [generator] improve error messages

print the name of the module creating the confict or missing requirement





reply via email to

[Prev in Thread] Current Thread [Next in Thread]