diff --git a/alib2algo/src/arbology/exact/ExactNonlinearTreePatternAutomaton.cpp b/alib2algo/src/arbology/exact/ExactNonlinearTreePatternAutomaton.cpp
index 646eab383112acf6fa4a3984d0e3f31512d2b215..6fa77585c14f8c1d4840963f2abded6c3365a0df 100644
--- a/alib2algo/src/arbology/exact/ExactNonlinearTreePatternAutomaton.cpp
+++ b/alib2algo/src/arbology/exact/ExactNonlinearTreePatternAutomaton.cpp
@@ -14,7 +14,6 @@
 #include "ExactSubtreeRepeatsNaive.h"
 
 #include <deque>
-#include <alphabet/LabeledSymbol.h>
 #include <alphabet/RankedSymbol.h>
 
 namespace arbology {
diff --git a/alib2algo/src/grammar/convert/ToAutomatonBottomUp.cpp b/alib2algo/src/grammar/convert/ToAutomatonBottomUp.cpp
index 1801a727ecf653451d1dff6d9e2881dc275800b4..a40f8f080ff95f12eb55d4b152bcc0ad4c1ea26c 100644
--- a/alib2algo/src/grammar/convert/ToAutomatonBottomUp.cpp
+++ b/alib2algo/src/grammar/convert/ToAutomatonBottomUp.cpp
@@ -7,7 +7,6 @@
 #include "ToAutomatonBottomUp.h"
 
 #include <alphabet/BottomOfTheStackSymbol.h>
-#include <alphabet/LabeledSymbol.h>
 #include <label/InitialStateLabel.h>
 #include <label/FinalStateLabel.h>
 
diff --git a/alib2algo/src/grammar/simplify/ToCNF.cpp b/alib2algo/src/grammar/simplify/ToCNF.cpp
index 2d88f8c92a24180ab628cd28dc6963f157a69c03..e7cc86b6ac2dc56e88607b7eecb71908daec2ceb 100644
--- a/alib2algo/src/grammar/simplify/ToCNF.cpp
+++ b/alib2algo/src/grammar/simplify/ToCNF.cpp
@@ -9,7 +9,6 @@
 
 #include "EpsilonRemover.h"
 #include "SimpleRulesRemover.h"
-#include "alphabet/LabeledSymbol.h"
 #include "alphabet/SymbolPairSymbol.h"
 #include <exception/CommonException.h>
 #include <common/createUnique.hpp>
diff --git a/alib2algo/src/grammar/simplify/ToGNF.cpp b/alib2algo/src/grammar/simplify/ToGNF.cpp
index 2612150f250fac314ae84a8266461c3881f684ee..9455f6f8be2cc856cd0486ec7d2ab20d32db6bb2 100644
--- a/alib2algo/src/grammar/simplify/ToGNF.cpp
+++ b/alib2algo/src/grammar/simplify/ToGNF.cpp
@@ -11,7 +11,6 @@
 #include "SimpleRulesRemover.h"
 #include "LeftRecursionRemover.h"
 #include "../convert/ToGrammarRightRG.h"
-#include "alphabet/LabeledSymbol.h"
 #include "alphabet/SymbolPairSymbol.h"
 #include <common/createUnique.hpp>
 
diff --git a/alib2algo/src/regexp/convert/ToGrammarRightRGGlushkov.cpp b/alib2algo/src/regexp/convert/ToGrammarRightRGGlushkov.cpp
index f66bd77b42ebdcb0edeb094820cd75a8ca6afcc6..f9c1d3fbb461eb82efe877f4756b3fbf95bf4a90 100644
--- a/alib2algo/src/regexp/convert/ToGrammarRightRGGlushkov.cpp
+++ b/alib2algo/src/regexp/convert/ToGrammarRightRGGlushkov.cpp
@@ -9,7 +9,6 @@
 
 #include <algorithm>
 
-#include <alphabet/LabeledSymbol.h>
 #include <alphabet/InitialSymbol.h>
 
 #include <label/LabelPairLabel.h>
diff --git a/alib2algo/src/tree/generate/RandomTreeFactory.cpp b/alib2algo/src/tree/generate/RandomTreeFactory.cpp
index 26f1a4c1f0fe8e1537a69a5a906db61c07c1025d..6ccfa1c94435213feca318addab89a95ce476f2b 100644
--- a/alib2algo/src/tree/generate/RandomTreeFactory.cpp
+++ b/alib2algo/src/tree/generate/RandomTreeFactory.cpp
@@ -22,7 +22,6 @@
 #include <alphabet/NonlinearVariableSymbol.h>
 #include <exception/CommonException.h>
 #include <alphabet/RankedSymbol.h>
-#include <alphabet/LabeledSymbol.h>
 
 namespace tree {