diff --git a/prism/src/parser/ast/RewardStruct.java b/prism/src/parser/ast/RewardStruct.java index 396e0293..67dd2445 100644 --- a/prism/src/parser/ast/RewardStruct.java +++ b/prism/src/parser/ast/RewardStruct.java @@ -134,7 +134,7 @@ public class RewardStruct extends ASTElement String s = ""; s += "rewards"; - if (name != null) s += " \""+name+"\""; + if (name != null && name.length() > 0) s += " \""+name+"\""; s += " \n\n"; n = getNumItems(); for (i = 0; i < n; i++) {