From a23b688449d8794e0f0e14e54dbf9bebcd361ddf Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@ru.nl>
Date: Wed, 22 May 2024 22:55:06 +0200
Subject: [PATCH] rational function inclusion to reflect changes in main storm

---
 src/logic/formulae.cpp | 1 +
 src/storage/model.cpp  | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/logic/formulae.cpp b/src/logic/formulae.cpp
index c0ad27dc2..a92f28d1e 100644
--- 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
index 5f0f4777e..e5bd5bab1 100644
--- 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"