Commit ea02f55c authored by garciay's avatar garciay
Browse files

Rebuild with TCT3

parent 85246628
Loading
Loading
Loading
Loading
+2 −2
Original line number Original line Diff line number Diff line
@@ -1881,7 +1881,7 @@ module LibItsSecurity_Templates {
                 */
                 */
                template (present) SecuredMessage mdw_securedMessageCAM(
                template (present) SecuredMessage mdw_securedMessageCAM(
                                                                        in template (present) HeaderFields p_header := ?,
                                                                        in template (present) HeaderFields p_header := ?,
                                                                        in template (present) SecPayloads p_payloads := ?, 
                                                                        in template SecPayloads p_payloads := ?, 
                                                                        in template (present) TrailerFields p_trailer := ? 
                                                                        in template (present) TrailerFields p_trailer := ? 
                )
                )
                modifies mw_securedMessage := {
                modifies mw_securedMessage := {
@@ -1972,7 +1972,7 @@ module LibItsSecurity_Templates {
                 */
                 */
                template (present) SecuredMessage mdw_securedMessageOther(
                template (present) SecuredMessage mdw_securedMessageOther(
                                                                          in template (present) HeaderFields p_header := ?,
                                                                          in template (present) HeaderFields p_header := ?,
                                                                          in template SecPayloads p_payloads := *,
                                                                          in template SecPayloads p_payloads := ?,
                                                                          in template (present) TrailerFields p_trailer := ? 
                                                                          in template (present) TrailerFields p_trailer := ? 
                )
                )
                modifies mw_securedMessage := {
                modifies mw_securedMessage := {