added missing include.

12 years ago · 5668b95d9b
1 changed files with 1 additions and 0 deletions
--- 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"