Comment typo

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10330 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · 812930e490
1 changed files with 1 additions and 1 deletions
--- a/prism/src/parser/ast/Expression.java
+++ b/prism/src/parser/ast/Expression.java
@ -787,7 +787,7 @@ public abstract class Expression extends ASTElement
 	
 	/**
 	 * Test if an expression is a co-safe LTL formula, detected syntactically
-	 * (i.e. if it is in positive normal form and only uses X, F and U. 
+	 * (i.e. if it is in positive normal form and only uses X, F and U). 
 	 */
 	public static boolean isCoSafeLTLSyntactic(Expression expr)
 	{