diff --git a/src/storm/parser/FormulaParser.cpp b/src/storm/parser/FormulaParser.cpp index d9d7cd518..d8b9c2df2 100644 --- a/src/storm/parser/FormulaParser.cpp +++ b/src/storm/parser/FormulaParser.cpp @@ -5,7 +5,6 @@ #include "storm/parser/SpiritErrorHandler.h" #include "storm/storage/prism/Program.h" -#include "storm/storage/jani/Model.h" #include "storm/logic/Formulas.h"