From 812930e490e97e2cd050fd23b9dd35fd80f46e2c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 16 Jul 2015 12:48:05 +0000 Subject: [PATCH] Comment typo git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10330 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 da21f777..4366f233 100644 --- 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) {