rational function inclusion to reflect changes in main storm

moves-rwth · May 22, 2024 · a23b688 · a23b688
1 parent 8c6ecc5
commit a23b688
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/logic/formulae.cpp b/src/logic/formulae.cpp
@@ -3,6 +3,7 @@
 #include "storm/logic/CloneVisitor.h"
 #include "storm/logic/LabelSubstitutionVisitor.h"
 #include "storm/storage/expressions/Variable.h"
+#include "storm/adapters/RationalNumberAdapter.h"
 
 
 void define_formulae(py::module& m) {

diff --git a/src/storage/model.cpp b/src/storage/model.cpp
@@ -1,6 +1,7 @@
 #include "model.h"
 #include "state.h"
 
+#include "storm/adapters/RationalFunctionAdapter.h"
 #include "storm/models/ModelBase.h"
 #include "storm/models/sparse/Model.h"
 #include "storm/models/sparse/Dtmc.h"