From fc453143c28295748b8e97733da549c35a870fe2 Mon Sep 17 00:00:00 2001 From: TimQu Date: Sat, 11 Aug 2018 11:28:11 +0300 Subject: [PATCH] missing includes.. --- src/storm-conv-cli/storm-conv.cpp | 2 ++ 1 file changed, 2 insertions(+) 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"