Commit 95577595 authored by tepelmann's avatar tepelmann
Browse files

mw_camIndWithBtpParameters: ports are UInt16, not UInt8.

parent a7fa86d9
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -74,8 +74,8 @@ module LibItsCam_Templates {
         */
        template CamInd mw_camIndWithBtpParameters (
            in template (present) CAM p_camMsg,
            in template UInt8 p_btpDestinationPort := *,
            in template UInt8 p_btpInfo := *
            in template UInt16 p_btpDestinationPort := *,
            in template UInt16 p_btpInfo := *
        ) modifies mw_camInd := { 
            btpDestinationPort := p_btpDestinationPort,
            btpInfo := p_btpInfo