From 3e9c312f8a7d8ac39caf4c69eaa39d0fb390f1ae Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 16 Oct 2017 13:37:48 +0200
Subject: [PATCH] Prism.exportTransRewardsToFile: Fix 'Omitting...' warning

... and actually omit the export in case there are no reward structures.
---
 prism/src/prism/Prism.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 7abd9d12..0486509b 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -2419,7 +2419,8 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 	{
 		int numRewardStructs = currentModelInfo.getNumRewardStructs();
 		if (numRewardStructs == 0) {
-			mainLog.println("\nOmitting state reward export as there are no reward structures");
+			mainLog.println("\nOmitting transition reward export as there are no reward structures");
+			return;
 		}
 		
 		if (getExplicit())