diff --git a/prism-examples/phil/nofair/leader.pctl b/prism-examples/phil/nofair/phil.pctl
similarity index 100%
rename from prism-examples/phil/nofair/leader.pctl
rename to prism-examples/phil/nofair/phil.pctl