diff --git a/examples/language-equiv-vs-bisim b/examples/language-equiv-vs-bisim index 55b958023d5a44d3b1d1ee421020660288bfd826..a22dff614e94a11abddbd16ac53e1d0b24b2c938 100644 --- a/examples/language-equiv-vs-bisim +++ b/examples/language-equiv-vs-bisim @@ -1,6 +1,6 @@ # the standard example of language equivalent states # that are not bisimilar -Ƥ +ƤX r1: {a, b} a: { bot1 }