From aa7a1ab94d63afa4477964eeea0dfeba0c25649d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 14 Oct 2007 14:32:59 +0000 Subject: [PATCH] Unneeded PCTL file. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@447 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/dining_crypt/dining_crypt3.pctl | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 prism-examples/dining_crypt/dining_crypt3.pctl diff --git a/prism-examples/dining_crypt/dining_crypt3.pctl b/prism-examples/dining_crypt/dining_crypt3.pctl deleted file mode 100644 index e69de29b..00000000