Added missing include

7 years ago · c42ccaf644
1 changed files with 1 additions and 0 deletions
--- a/src/core/bisimulation.cpp
+++ b/src/core/bisimulation.cpp
@ -1,4 +1,5 @@
 #include "bisimulation.h"
+#include "storm/models/symbolic/StandardRewardModel.h"


 template <storm::dd::DdType DdType, typename ValueType>