Changing back the last commit. It made things worse.

This commit is contained in:
Seth Hall 2011-06-30 17:07:07 -04:00
parent 5382456f12
commit cf527147e7

View file

@ -679,7 +679,7 @@ type CiphertextRecord(rec: SSLRecord, is_orig: bool) = record {
######################################################################
type SSLPDU(is_orig: bool) = record {
records : SSLRecord(is_orig)[] &until($input.length() == 0);
records : SSLRecord(is_orig)[] &until($element == 0);
} &byteorder = bigendian;