From eb6b88b9227f550cdc987b07adf8595185e4171e Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 16 Jun 2020 19:00:02 +0100
Subject: [PATCH] Explicit model import bugfix (explicit engine, no rewards
 file is provided).

Test: prism -importmodel ../prism-tests/functionality/import/dice.tra -exportmodel stdout.all -ex
---
 prism/src/prism/ExplicitFilesRewardGenerator.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/prism/src/prism/ExplicitFilesRewardGenerator.java b/prism/src/prism/ExplicitFilesRewardGenerator.java
index 78ba8c86..1f2fcee3 100644
--- a/prism/src/prism/ExplicitFilesRewardGenerator.java
+++ b/prism/src/prism/ExplicitFilesRewardGenerator.java
@@ -121,7 +121,8 @@ public class ExplicitFilesRewardGenerator extends PrismComponent implements Rewa
 	@Override
 	public List<String> getRewardStructNames()
 	{
-		return Collections.singletonList("");
+		// Absence of a file implies no rewards
+		return stateRewardsFile == null ? Collections.emptyList() : Collections.singletonList("");
 	}
 	
 	@Override