diff --git a/resources/deployment.aadl b/resources/deployment.aadl index 447fb76ab8e3bc1fd0ff5572ed1cddda6004041d..243f6639362ce7d11b4095944a05d1313eeba67a 100644 --- a/resources/deployment.aadl +++ b/resources/deployment.aadl @@ -90,6 +90,8 @@ property set Deployment is Config : aadlstring applies to (device); + Packetizer : aadlstring applies to (device); + ASN1_Module_Name : aadlstring applies to (all); Help : aadlstring applies to (all);