diff --git a/src/storm-conv-cli/storm-conv.cpp b/src/storm-conv-cli/storm-conv.cpp index c398ef69a..04169b2dc 100644 --- a/src/storm-conv-cli/storm-conv.cpp +++ b/src/storm-conv-cli/storm-conv.cpp @@ -13,6 +13,8 @@ #include "storm/utility/macros.h" #include "storm/storage/SymbolicModelDescription.h" +#include "storm/storage/jani/Model.h" +#include "storm/storage/jani/Property.h" #include "storm-cli-utilities/cli.h"