diff --git a/prism/src/parser/ast/ExpressionReward.java b/prism/src/parser/ast/ExpressionReward.java index 49bb56a1..d5a0bd79 100644 --- a/prism/src/parser/ast/ExpressionReward.java +++ b/prism/src/parser/ast/ExpressionReward.java @@ -94,7 +94,7 @@ public class ExpressionReward extends ExpressionQuant // Other methods /** - * Get a string describing the type of R operator, e.g. "R=?" or "R