Commit 07ae1d31 authored by fetke's avatar fetke
Browse files

made all spots use lengthC tag as a tag (not an int-tag)

parent b1749179
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -537,7 +537,7 @@ module ePassport_Types {
				type record ReadBinaryWithOffsetDataObjectData {
					octetstring data // FIXME: unfinished; maybe more variants are to be used later
				} with {
					variant (data) "length=getIntTag('lengthC');";
					variant (data) "length=infinity";
				}

			} // end ReadBinaryWithOffsetDataObjectMsg