From 293d4bb8ad8c63b8c55becea0ec7222a9305b07e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 14 Jan 2021 23:56:14 +0000 Subject: [PATCH] Example property fix (firewire). --- prism-examples/ptas/firewire/abst/time.pctl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism-examples/ptas/firewire/abst/time.pctl b/prism-examples/ptas/firewire/abst/time.pctl index 3bc6504d..7182e52e 100644 --- a/prism-examples/ptas/firewire/abst/time.pctl +++ b/prism-examples/ptas/firewire/abst/time.pctl @@ -1,2 +1,2 @@ // Maximum expected time to elect a leader -R{"time"}min=? [ F "done" ] +R{"time"}max=? [ F "done" ]