Commit 93005c27 authored by vouffofeudji's avatar vouffofeudji
Browse files

Implicit Casting of UInt8 to UInt15

parent 5f0b02cc

ttcn3/EtsiLibrary/LibIpv6/LibSec/LibIpv6_Rfc4306Ikev2_TypesAndValues.ttcn

+3 −1
Original line number Diff line number Diff line
@@ -288,7 +288,9 @@ 
						*/

						type record SaTransformAttributeKeyLength {

							UInt1	attributeFormat(c_attributeFormatTv),

							UInt15	attributeType(c_saTransformAttributeKeyLength),

							// TODO (AVF): This is casting of UInt8 to UInt15. It has to be fixed

							// UInt15	attributeType(c_saTransformAttributeKeyLength),

							UInt15	attributeType(14),

							UInt16	attributeValue		

						} 

						with {