Removed filter from non-? property.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@674 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · 0e67b7d1e9
1 changed files with 1 additions and 1 deletions
--- a/prism-examples/firewire/impl/liveness.pctl
+++ b/prism-examples/firewire/impl/liveness.pctl
@ -1,2 +1,2 @@
 // liveness
-P>=1 [ true U ((s1=8) & (s2=7)) | ((s1=7) & (s2=8)) {"init"} ]
+"init" => P>=1 [ true U ((s1=8) & (s2=7)) | ((s1=7) & (s2=8)) ]