From 8fd7eb9dee80c7ec41bdc6ceb9edc51e325dbfcb Mon Sep 17 00:00:00 2001 From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz> Date: Fri, 2 Aug 2019 13:33:17 +0200 Subject: [PATCH] remove not needed includes --- alib2algo/src/rte/convert/ToFTAGlushkov.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/alib2algo/src/rte/convert/ToFTAGlushkov.h b/alib2algo/src/rte/convert/ToFTAGlushkov.h index 31a6b97579..4ff8fbbab4 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" -- GitLab