... sync
authorVolker Birk <vb@pep-project.org>
Thu, 12 Dec 2019 06:31:35 +0100
branchsync
changeset 4265441c82c3d526
parent 4264 d709b7af2f6c
child 4266 b7012c29e885
...
src/key_reset.c
     1.1 --- a/src/key_reset.c	Thu Dec 12 06:25:12 2019 +0100
     1.2 +++ b/src/key_reset.c	Thu Dec 12 06:31:35 2019 +0100
     1.3 @@ -786,9 +786,12 @@
     1.4      if (status)
     1.5          goto the_end;
     1.6  
     1.7 +    assert(dist && dist->present == Distribution_PR_keyreset
     1.8 +            && dist->choice.keyreset.present == KeyReset_PR_commands);
     1.9 +
    1.10      if (!(dist && dist->present == Distribution_PR_keyreset
    1.11              && dist->choice.keyreset.present == KeyReset_PR_commands)) {
    1.12 -        status = PEP_DISTRIBUTION_ILLEGAL_MESSAGE;
    1.13 +        status = PEP_ILLEGAL_VALUE;
    1.14          goto the_end;
    1.15      }
    1.16