From c7d8a0119011bd1bb60e9cc1b7124179ad74336c Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 7 Jul 2015 15:33:18 +0000
Subject: [PATCH] Fix JavaDoc bugs.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10218 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ast/ExpressionReward.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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