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