From 9aec019bd0fa0d11616c2fbf123a3384b4cafde3 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 17 Nov 2008 15:50:49 +0000 Subject: [PATCH] "true U" to "F" fix in examples. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@824 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/phil/original/phil.pctl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism-examples/phil/original/phil.pctl b/prism-examples/phil/original/phil.pctl index 584244ee..f1370a9c 100644 --- a/prism-examples/phil/original/phil.pctl +++ b/prism-examples/phil/original/phil.pctl @@ -1,3 +1,3 @@ // Liveness (if a philosopher is hungry then eventually some philosopher eats) -"hungry" => P>=1 [ true U "eat"] +"hungry" => P>=1 [ F "eat"]