diff --git a/alib2algo/src/rte/convert/ToFTAGlushkov.h b/alib2algo/src/rte/convert/ToFTAGlushkov.h index 31a6b97579017e06dcc5615aa9234159ecff4a83..4ff8fbbab4ee6cb8798b871d10f64f64d846dc7d 100644 --- a/alib2algo/src/rte/convert/ToFTAGlushkov.h +++ b/alib2algo/src/rte/convert/ToFTAGlushkov.h @@ -16,8 +16,6 @@ #include <automaton/TA/NFTA.h> #include <rte/formal/FormalRTE.h> -#include <alphabet/BottomOfTheStackSymbol.h> -#include <alphabet/EndSymbol.h> #include "../glushkov/GlushkovFollow.h" #include "../glushkov/GlushkovIndexate.h"