* Follow-up to previous commit

src/backends/ocarina-backends-build_utils.ads

@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---    Copyright (C) 2008-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.      --
+--    Copyright (C) 2008-2009 Telecom ParisTech, 2010-2013 ESA & ISAE.      --
 --                                                                          --
 -- Ocarina  is free software;  you  can  redistribute  it and/or  modify    --
 -- it under terms of the GNU General Public License as published by the     --
@@ -71,6 +71,7 @@ package Ocarina.Backends.Build_Utils is
            (Appli_Name         : Name_Id;
             Node_Name          : Name_Id;
             Execution_Platform : Supported_Execution_Platform := Platform_None;
+            Execution_Platform_Name : Name_Id;
             Transport_API      : Supported_Transport_APIs;
             Ada_Sources        : Name_Tables.Instance;
             Asn_Sources        : Name_Tables.Instance;

src/backends/ocarina-backends-properties.ads

@@ -609,6 +609,7 @@ package Ocarina.Backends.Properties is
    function Get_Execution_Platform
      (P : Node_Id)
      return Supported_Execution_Platform;
+   function Get_Execution_Platform (P : Node_Id) return Name_Id;
    --  Return the execution platform of the given processor P
 
    function Get_Location (P : Node_Id) return Name_Id;