From cec60108c231044b124c4c3dbea7573674ecae66 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 26 Oct 2015 21:13:17 +0000 Subject: [PATCH] Comment clarification. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10845 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/ast/Expression.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/parser/ast/Expression.java b/prism/src/parser/ast/Expression.java index 4f37c215..fc69ebe8 100644 --- a/prism/src/parser/ast/Expression.java +++ b/prism/src/parser/ast/Expression.java @@ -705,7 +705,7 @@ public abstract class Expression extends ASTElement } /** - * Test if an expression is a reachability path formula (F phi) + * Test if an expression is a reachability path formula (F phi), possibly with a time bound. */ public static boolean isReach(Expression expr) {