diff --git a/src/core/bisimulation.cpp b/src/core/bisimulation.cpp index e7746ba..6926791 100644 --- a/src/core/bisimulation.cpp +++ b/src/core/bisimulation.cpp @@ -1,4 +1,5 @@ #include "bisimulation.h" +#include "storm/models/symbolic/StandardRewardModel.h" template