Use the statet checked by the if sync
authorHussein Kasem
Fri, 30 Nov 2018 18:21:59 +0100
branchsync
changeset 3167e7a7a92570b0
parent 3166 fe040af3f305
child 3168 0cf9b5e8afeb
child 3169 86b78a45d1e9
Use the statet checked by the if
sync/gen_statemachine.ysl2
     1.1 --- a/sync/gen_statemachine.ysl2	Thu Nov 29 09:24:21 2018 +0100
     1.2 +++ b/sync/gen_statemachine.ysl2	Fri Nov 30 18:21:59 2018 +0100
     1.3 @@ -701,7 +701,7 @@
     1.4              event = Init;
     1.5          }
     1.6          else if (next_state < None) {
     1.7 -            return PEP_STATEMACHINE_ERROR - state;
     1.8 +            return PEP_STATEMACHINE_ERROR - next_state;
     1.9          }
    1.10          break;
    1.11      }