720
721
%% Note that the values of the digitMapBody and
721
722
%% durationTimers are swapped by the scanner
722
723
%% (this is done because of a problem in the flex scanner).
724
{'DigitMapValue', asn1_NOVALUE, asn1_NOVALUE, asn1_NOVALUE, asn1_NOVALUE, []} ->
723
726
{'DigitMapValue', Start, Short, Long, _DurationTimer, Body} ->
724
727
%% Convert to version 1 DigitMapValue
725
728
#'DigitMapValue'{startTimer = Start,