diff --git a/alib2data/src/common/ranked_symbol.hpp b/alib2data/src/common/ranked_symbol.hpp index de912a3af03f4467520fe1f5f732176f5443e7c7..3e1221c6ef09b17ff3576b2c05d395664f021cbc 100644 --- a/alib2data/src/common/ranked_symbol.hpp +++ b/alib2data/src/common/ranked_symbol.hpp @@ -11,7 +11,6 @@ #include <alib/tuple> #include <core/normalize.hpp> -#include <sax/FromXMLParserHelper.h> #include <common/DefaultSymbolType.h> #include <common/DefaultRankType.h> diff --git a/alib2data/src/rte/formal/FormalRTEElement.h b/alib2data/src/rte/formal/FormalRTEElement.h index 9b89bba038accc678db4148b6cffc3af6711a01d..db7bcfcbef37243d96ba4cc2226b32bb543fe93b 100644 --- a/alib2data/src/rte/formal/FormalRTEElement.h +++ b/alib2data/src/rte/formal/FormalRTEElement.h @@ -25,7 +25,6 @@ #define FORMAL_RTE_ELEMENT_H_ #include <common/ranked_symbol.hpp> -#include <alphabet/xml/RankedSymbol.h> #include <alib/set> #include <alib/tree> #include <alib/compare> diff --git a/alib2raw/src/tree/raw/UnrankedTree.h b/alib2raw/src/tree/raw/UnrankedTree.h index 47140962d5ca04f890e109ff9656c9e125b2d6ae..26af867c55f706cffcb6b1e0c5597aabb1d2367b 100644 --- a/alib2raw/src/tree/raw/UnrankedTree.h +++ b/alib2raw/src/tree/raw/UnrankedTree.h @@ -10,6 +10,7 @@ #include <tree/unranked/UnrankedTree.h> #include <sax/SaxParseInterface.h> +#include <sax/FromXMLParserHelper.h> #include <sax/SaxComposeInterface.h> #include <core/rawApi.hpp>