# HG changeset patch
# User Volker Birk <vb@pep-project.org>
# Date 1576128695 -3600
# Node ID 441c82c3d526663a83574110f84b2cb4cd11a006
# Parent  d709b7af2f6c3c0ab1021cc063a4779c4264bd78
...

diff -r d709b7af2f6c -r 441c82c3d526 src/key_reset.c
--- a/src/key_reset.c	Thu Dec 12 06:25:12 2019 +0100
+++ b/src/key_reset.c	Thu Dec 12 06:31:35 2019 +0100
@@ -786,9 +786,12 @@
     if (status)
         goto the_end;
 
+    assert(dist && dist->present == Distribution_PR_keyreset
+            && dist->choice.keyreset.present == KeyReset_PR_commands);
+
     if (!(dist && dist->present == Distribution_PR_keyreset
             && dist->choice.keyreset.present == KeyReset_PR_commands)) {
-        status = PEP_DISTRIBUTION_ILLEGAL_MESSAGE;
+        status = PEP_ILLEGAL_VALUE;
         goto the_end;
     }