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())