diff --git a/TASTE-linux/config/TASTE_IV_Properties.aadl b/TASTE-linux/config/TASTE_IV_Properties.aadl index 88f2580b50f74b54cd1a14857a33aa5e24de3f0a..92b202ec967da78216a6d835dd7bc0e86ab037a4 100755 --- a/TASTE-linux/config/TASTE_IV_Properties.aadl +++ b/TASTE-linux/config/TASTE_IV_Properties.aadl @@ -12,6 +12,6 @@ property set TASTE_IV_Properties is MSCFiles : aadlstring applies to (Subprogram); -- is_Component_Type : aadlboolean applies to (System); -- is_instance_of : aadlstring applies to (System); - FPGA_Modes : aadlstring applies to (System); + FPGA_Configurations : aadlstring applies to (System); -- MSCFiles : list of aadlstring applies to (Subprogram); end TASTE_IV_Properties;