Browse Source

Fix JavaDoc bugs.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10218 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 11 years ago
parent
commit
c7d8a01190
  1. 2
      prism/src/parser/ast/ExpressionReward.java

2
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<r".
* Get a string describing the type of R operator, e.g. "R=?" or "R&lt;r".
*/
public String getTypeOfROperator()
{

Loading…
Cancel
Save