diff --git a/alib2algo/src/automaton/convert/ToRTEStateElimination.h b/alib2algo/src/automaton/convert/ToRTEStateElimination.h index e6a80f9197fb9dcb202c2bf85efda66ec7f430a7..9e7f3ae0f32606887f0492204b492d3a80257e9a 100644 --- a/alib2algo/src/automaton/convert/ToRTEStateElimination.h +++ b/alib2algo/src/automaton/convert/ToRTEStateElimination.h @@ -176,8 +176,9 @@ automaton::ExtendedNFTA< SymbolType, StateType > ToRTEStateElimination::eliminat } } - const rte::FormalRTEStructure< ext::variant< SymbolType, StateType > > rte_loop = createAlternation ( loop ), - rte_incoming = createAlternation ( incoming ); + using edgeLabelType = rte::FormalRTEStructure< ext::variant< SymbolType, StateType > >; + const edgeLabelType rte_loop = createAlternation ( loop ); + const edgeLabelType rte_incoming = createAlternation ( incoming ); // eliminate all incoming and outgoing transitions as follows: // for every outgoing transition: