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"