From 2d81f6a481a7539a63c3b09b3bf4b5b192bfef3d Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Thu, 14 Mar 2019 17:41:53 +0100
Subject: [PATCH] Fix language-equiv-vs-bisim example

Fixes a syntax error that prevented this example from being parsed.
---
 examples/language-equiv-vs-bisim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/language-equiv-vs-bisim b/examples/language-equiv-vs-bisim
index 55b9580..a22dff6 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 }
-- 
GitLab