Merge branch 'master' of https://gitrepos.estec.esa.int/taste/ocarina

070f524f · Maxime Perrotin · 5d0205d6 · 4d9c78d2 · 070f524f
Commit 070f524f authored May 30, 2018 by Maxime Perrotin
--- a/src/backends/ocarina-backends-properties.adb
+++ b/src/backends/ocarina-backends-properties.adb
@@ -1340,7 +1340,7 @@ package body Ocarina.Backends.Properties is
           Language_System_C      |
           Language_SDL_OpenGEODE |
           Language_VDM           |
-           Language_VHDL
+           Language_VHDL          |
           Language_VHDL_BRAVE    =>
            --  A subprogram having this language as implementation
            --  language is not supported.