Comment typo

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10608 bbc10eb1-c90d-0410-af57-cb519fbb1720
10 years ago · f7e4b6f747
1 changed files with 1 additions and 1 deletions
--- a/prism/src/parser/BooleanUtils.java
+++ b/prism/src/parser/BooleanUtils.java
@ -99,7 +99,7 @@ public class BooleanUtils
 	 * all negation inwards so that it only occurs on "propositions".
 	 * A "proposition" is any Expression object that
 	 * is not an operator used to define a Boolean expression (!, &, |, =>, <=>, ())
-	 * or an temporal operator (X, U, F, G, R, W).
+	 * or a temporal operator (X, U, F, G, R, W).
 	 * The passed in expression is modified, and the result is returned. 
 	 */
 	public static Expression convertLTLToPositiveNormalForm(Expression expr) throws PrismLangException