Compile fix for previous commit.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9526 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · 9589a14c14
1 changed files with 1 additions and 0 deletions
--- a/prism/src/sparse/PS_NondetMultiReachReward1.cc
+++ b/prism/src/sparse/PS_NondetMultiReachReward1.cc
@ -34,6 +34,7 @@
 #include <odd.h>
 #include <dv.h>
 #include "sparse.h"
+#include "sparse_adv.h"
 #include "prism.h"
 #include "PrismSparseGlob.h"
 #include "PrismNativeGlob.h"