Commit 915e5cb3 authored by garciay's avatar garciay
Browse files

Fix on comments

parent 0a068384
Loading
Loading
Loading
Loading
+4 −4
Original line number Diff line number Diff line
@@ -942,11 +942,11 @@ module LibItsSecurity_Templates {
            } // End of template mdw_securedMessage
            
            template (present) SecuredMessage mdw_securedMessage_CAMs_headers(
                                                                      in template (present) HeaderFields p_headers := ?,
                                                                              in template (present) HeaderField p_header := ?,
                                                                              in template (present) SecPayload p_payload := ?, 
                                                                              in template (present) TrailerFields p_trailer := ? 
            ) modifies mdw_securedMessage_dummy := {
                header_fields       := superset(mw_header_field_its_aid_CAM, p_headers),
                header_fields       := superset(mw_header_field_its_aid_CAM, p_header),
                payload_field       := p_payload,
                trailer_fields      := p_trailer
            } // End of template mdw_securedMessage_CAMs