1.1 --- a/sync/gen_statemachine.ysl2	Fri Mar 15 16:06:53 2019 +0100
     1.2 +++ b/sync/gen_statemachine.ysl2	Fri Mar 15 17:21:19 2019 +0100
     1.3 @@ -449,6 +449,7 @@
     1.4                                  goto the_end;
     1.5                              }
     1.6                          }
     1.7 +                        break;
     1.8  
     1.9                      default:
    1.10                          status = PEP_«yml:ucase(@name)»_ILLEGAL_MESSAGE;

     2.1 --- a/sync/sync.fsm	Fri Mar 15 16:06:53 2019 +0100
     2.2 +++ b/sync/sync.fsm	Fri Mar 15 17:21:19 2019 +0100
     2.3 @@ -312,13 +312,11 @@
     2.4              field TID challenge;
     2.5              auto Version version;
     2.6              field TID transaction;
     2.7 -            field Hash fpr;
     2.8              field bool is_group;
     2.9          }
    2.10  
    2.11          message HandshakeAnswer 4 {
    2.12              field TID transaction;
    2.13 -            field Hash fpr;
    2.14          }
    2.15  
    2.16          message Rollback 5, security=untrusted {