Removed filter from non-? property.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@673 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · 873e10c8c1
1 changed files with 1 additions and 1 deletions
--- 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) ]