Browse Source

Prism.exportTransRewardsToFile: Fix 'Omitting...' warning

... and actually omit the export in case there are no reward structures.
master
Joachim Klein 8 years ago
parent
commit
3e9c312f8a
  1. 3
      prism/src/prism/Prism.java

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

Loading…
Cancel
Save