Changes proposed in #104

This commit is contained in:
John E. Rollinson 2017-09-17 14:59:41 -04:00
parent 6ffa99d67e
commit 5afde3f0e5
2 changed files with 9 additions and 7 deletions

View file

@ -50,7 +50,9 @@ type GSSAPI_NEG_TOKEN_RESP_Arg = record {
};
type GSSAPI_NEG_TOKEN_MECH_TOKEN(is_orig: bool) = record {
meta : ASN1EncodingMeta;
mech_token : bytestring &length=meta.length;
meta : ASN1EncodingMeta;
mech_token_meta : ASN1EncodingMeta;
oid : ASN1Encoding;
mech_token : bytestring &restofdata;
};