From 873e10c8c14a7c8ab74fa579bd8b930aee09f615 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 17 Mar 2008 13:03:30 +0000 Subject: [PATCH] Removed filter from non-? property. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@673 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/firewire/abst/liveness.pctl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism-examples/firewire/abst/liveness.pctl b/prism-examples/firewire/abst/liveness.pctl index abd4d44d..8c832230 100644 --- a/prism-examples/firewire/abst/liveness.pctl +++ b/prism-examples/firewire/abst/liveness.pctl @@ -1,2 +1,2 @@ // liveness property (eventually a process is made the leader) -P>=1[ true U (s=9) {"init"} ] +"init" => P>=1[ true U (s=9) ]