From fa1a15c9210eb76c66046d3c0836b9f4e776d716 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
Date: Fri, 2 Feb 2001 16:38:29 +0000
Subject: *** empty log message ***

---
 phox/phox-font.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'phox')

diff --git a/phox/phox-font.el b/phox/phox-font.el
index 80588dfc..9e330ea2 100644
--- a/phox/phox-font.el
+++ b/phox/phox-font.el
@@ -69,7 +69,7 @@
     ("\\<or\\>" 0 3 218) 
     ("&" 0 1 217) 
     ("<->" 0 1 171)
-    ("-->" 0 3 222)
+    ("=>" 0 1 222)
     ("->" 0 1 174)
     ("~" 0 1 216)
     ("\\\\" 0 1 108)))
-- 
cgit v1.2.3