fixed knuths die in pdtmc

Former-commit-id: f52f34571d [formerly 20c9ef124a]
Former-commit-id: f6d23f46eb

examples/pdtmc/die.pm

@@ -16,7 +16,7 @@ module die
 	[] s=2 -> q : (s'=5) + 1-q : (s'=6);
 	[] s=3 -> p : (s'=1) + 1-p : (s'=7) & (d'=1);
 	[] s=4 -> p : (s'=7) & (d'=3) + 1-p : (s'=7) & (d'=2);
-	[] s=5 -> p : (s'=2) + 1-p : (s'=7) & (d'=6);
+	[] s=5 -> p : (s'=2) + 1-p : (s'=7) & (d'=4);
 	[] s=6 -> p : (s'=7) & (d'=6) + 1-p : (s'=7) & (d'=5);
 	[] s=7 -> 1: (s'=7);