diff --git a/src/parser/AutoParser.cpp b/src/parser/AutoParser.cpp index f11366e8b..80997f1d4 100644 --- a/src/parser/AutoParser.cpp +++ b/src/parser/AutoParser.cpp @@ -1,6 +1,7 @@ #include "src/parser/AutoParser.h" #include "src/exceptions/WrongFileFormatException.h" +#include "src/models/AbstractModel.h" #include "src/parser/DtmcParser.h" //#include "NonDeterministicSparseTransitionParser.h"