From 7cd20911e931198acf7dea54f71d66bdf10318cf Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Tue, 9 Aug 2016 18:25:02 +0000 Subject: [PATCH] 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java index c96bb8b6..3e32ef4f 100644 --- a/prism/src/parser/ast/Property.java +++ b/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); }