ast.Property: tidy comment

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11594 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/parser/ast/Property.java

@@ -413,7 +413,7 @@ public class Property extends ASTElement
 					if (!rationalRes.isNaN())
 						throw new PrismException("Wrong result (expected NaN, got " + rationalRes + ")");
 				}
-				// For integers/rationals/doubles, parse with BigRational if it's an integer
+				// For integers/rationals/doubles, parse with BigRational
 				else {
 					rationalExp = new BigRational(strExpected);
 				}