diff --git a/src/modelchecker/csl/HybridCtmcCslModelChecker.cpp b/src/modelchecker/csl/HybridCtmcCslModelChecker.cpp index 0fb8b5dca..85464f106 100644 --- a/src/modelchecker/csl/HybridCtmcCslModelChecker.cpp +++ b/src/modelchecker/csl/HybridCtmcCslModelChecker.cpp @@ -1,5 +1,7 @@ #include "src/modelchecker/csl/HybridCtmcCslModelChecker.h" +#include "src/models/symbolic/StandardRewardModel.h" + #include "src/modelchecker/csl/helper/SparseCtmcCslHelper.h" #include "src/modelchecker/csl/helper/HybridCtmcCslHelper.h"