Commit 96ede8d0 authored by berge's avatar berge
Browse files

Fixed compilation errors in telelogic

parent 9ea096d5
Loading
Loading
Loading
Loading
+13 −13
Original line number Diff line number Diff line
@@ -650,10 +650,10 @@
			}
		
			template MobileMessage m_bindingUpdateMsg(	UInt16 p_seqNr,
													UInt1 p_aFlag,
													UInt1 p_hFlag,
													UInt1 p_lFlag,
													UInt1 p_kFlag,
													template UInt1 p_aFlag,
													template UInt1 p_hFlag,
													template UInt1 p_lFlag,
													template UInt1 p_kFlag,
													UInt16 p_lifeTime,
													template MobileOptionList p_mobileOptions) := {	
				bindingUpdateMsg := {
@@ -705,10 +705,10 @@
			}

	//Added by PK
			template MobileMessage mw_bindingUpdateMsg_anyOpt(	UInt1 p_aFlag,
													UInt1 p_hFlag,
													UInt1 p_lFlag,
													UInt1 p_kFlag) := {	
			template MobileMessage mw_bindingUpdateMsg_anyOpt(	template UInt1 p_aFlag,
																template UInt1 p_hFlag,
																template UInt1 p_lFlag,
																template UInt1 p_kFlag) := {	
				bindingUpdateMsg := {
					sequenceNumber := ?,
					aFlag := p_aFlag,
@@ -721,10 +721,10 @@
				}
			}
		
			template MobileMessage mw_bindingUpdateMsg_lifeTime(	UInt1 p_aFlag,
													UInt1 p_hFlag,
													UInt1 p_lFlag,
													UInt1 p_kFlag,
			template MobileMessage mw_bindingUpdateMsg_lifeTime(	template UInt1 p_aFlag,
													template UInt1 p_hFlag,
													template UInt1 p_lFlag,
													template UInt1 p_kFlag,
													UInt16 p_lifetime,
													template MobileOptionList p_mobileOptions) := {	
				bindingUpdateMsg := {
@@ -847,7 +847,7 @@
	// Added by PK
			template MobileMessage mw_bindingAckMsg_statusKFlagSN (
				template UInt8 p_status,
				UInt1 p_kFlag,
				template UInt1 p_kFlag,
				UInt16 p_seqNr
			) := {	
				bindingAckMsg := {