diff --git a/pgfexamples/ISSAC/evidence2.pgcl b/pgfexamples/ISSAC/evidence2.pgcl
deleted file mode 100644
index a4f51df..0000000
--- a/pgfexamples/ISSAC/evidence2.pgcl
+++ /dev/null
@@ -1,14 +0,0 @@
-nat evidence;
-nat coin;
-nat coin1;
-
-evidence := bernoulli(1/2);
-coin := 0;
-if (evidence = 1) {
-    coin1 := bernoulli(1/2);
-    observe(coin1=1);
-    coin := coin1;
-}else{
-    coin := bernoulli(1/2);
-}
-!Print
\ No newline at end of file