diff --git a/prism/src/sparse/PS_NondetMultiReachReward1.cc b/prism/src/sparse/PS_NondetMultiReachReward1.cc index 9b282601..1050a246 100644 --- a/prism/src/sparse/PS_NondetMultiReachReward1.cc +++ b/prism/src/sparse/PS_NondetMultiReachReward1.cc @@ -34,6 +34,7 @@ #include #include #include "sparse.h" +#include "sparse_adv.h" #include "prism.h" #include "PrismSparseGlob.h" #include "PrismNativeGlob.h"