Commit 4707feec authored by validator's avatar validator
Browse files

Minor changes.

parent e6178a2e
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -158,7 +158,7 @@ module LibIpv6_Rfc2461NeighborDiscovery_Functions {
			var Ipv6Packet v_ipPkt;
			v_ipPkt.nbrAdvert := valueof(p_nbrAdv);
			//set extensionHeaders
			if (ispresent(v_ipPkt.generalIpv6.extHdrList)) {
			if (ispresent(v_ipPkt.nbrAdvert.extHdrList)) {	
				if(f_setExtensionHeaders(	v_ipPkt.nbrAdvert.extHdrList,
											v_ipPkt.nbrAdvert.ipv6Hdr.sourceAddress,
											v_ipPkt.nbrAdvert.ipv6Hdr.destinationAddress,
@@ -195,7 +195,7 @@ module LibIpv6_Rfc2461NeighborDiscovery_Functions {
            var Ipv6Packet v_ipPkt;
	        v_ipPkt.routerAdvert := valueof(p_rtAdv);
			//set extensionHeaders
			if (ispresent(v_ipPkt.generalIpv6.extHdrList)) {
			if (ispresent(v_ipPkt.routerAdvert.extHdrList)) {
				if(f_setExtensionHeaders(	v_ipPkt.routerAdvert.extHdrList,
											v_ipPkt.routerAdvert.ipv6Hdr.sourceAddress,
											v_ipPkt.routerAdvert.ipv6Hdr.destinationAddress,