From 9589a14c14280b8018aa7c6d86134c7d6a7cae8f Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 15 Jan 2015 13:23:37 +0000
Subject: [PATCH] Compile fix for previous commit.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9526 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/sparse/PS_NondetMultiReachReward1.cc | 1 +
 1 file changed, 1 insertion(+)

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 <odd.h>
 #include <dv.h>
 #include "sparse.h"
+#include "sparse_adv.h"
 #include "prism.h"
 #include "PrismSparseGlob.h"
 #include "PrismNativeGlob.h"