From 6b5006fe8aa1af0c2e124bb1366868277785a384 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 17 Mar 2008 23:07:05 +0000 Subject: [PATCH] Tidy up phil/nofair (and add pp files). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@685 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/phil/nofair/{leader.pctl => phil.pctl} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename prism-examples/phil/nofair/{leader.pctl => phil.pctl} (100%) 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