From 91147830eb9cb3a957837a580f22ced26ef77e1b Mon Sep 17 00:00:00 2001
From: Sascha Wunderlich <sascha.wunderlich@tu-dresden.de>
Date: Thu, 20 Dec 2018 17:09:11 +0100
Subject: [PATCH] accumulation: support single track mode for more cases

---
 prism/src/parser/ast/Expression.java | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/prism/src/parser/ast/Expression.java b/prism/src/parser/ast/Expression.java
index 9fff4828..b14151cb 100644
--- a/prism/src/parser/ast/Expression.java
+++ b/prism/src/parser/ast/Expression.java
@@ -1015,10 +1015,12 @@ public abstract class Expression extends ASTElement
 		try {
 			ASTTraverse astt = new ASTTraverse()
 			{
-				public Object visit(ExpressionTemporal expr)
-				{
-					return null;
-				}
+				public Object visit(ExpressionTemporal expr) { return null; }
+				public Object visit(ExpressionProb expr)     { return null; }
+				public Object visit(ExpressionReward expr)   { return null; }
+				public Object visit(ExpressionSS expr)       { return null; }
+				public Object visit(ExpressionForAll expr)   { return null; }
+				public Object visit(ExpressionExists expr)   { return null; }
 				public Object visit(ExpressionAccumulation accexp) throws PrismLangException
 				{
 					throw new PrismLangException("Found accumulation here!", accexp);