diff --git a/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h b/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h index cd5e4aa8c1d103ed957f921a2984d1ac3b2465af..be2305b4cbf65e7e72140ea1c2d00d50c2477a3a 100644 --- a/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h +++ b/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h @@ -184,7 +184,7 @@ public: } bool removeInputSymbol(const InputSymbolType& symbol) { - return this->template removeCallInputSymbol(symbol) || removeReturnInputSymbol(symbol) || removeLocalInputSymbol(symbol); + return removeCallInputSymbol(symbol) || removeReturnInputSymbol(symbol) || removeLocalInputSymbol(symbol); } /** diff --git a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h index 51002ae3800a998388a2a23a21698b0c3c8c9411..6cb1e71de43d87b4fe21d432d03ed63372c33320 100644 --- a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h +++ b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h @@ -192,7 +192,7 @@ public: } bool removeInputSymbol(const InputSymbolType& symbol) { - return this->template removeCallInputSymbol(symbol) || removeReturnInputSymbol(symbol) || removeLocalInputSymbol(symbol); + return removeCallInputSymbol(symbol) || removeReturnInputSymbol(symbol) || removeLocalInputSymbol(symbol); } /**