From a3b42eef74021c39c0b5604362cf1bee8bd40cab Mon Sep 17 00:00:00 2001
From: Ludovic Jacomme <alliance-cvs@asim.lip6.fr>
Date: Mon, 6 May 2002 09:51:12 +0000
Subject: [PATCH] Hello world

---
 alliance/src/vex/src/vexenv.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/alliance/src/vex/src/vexenv.c b/alliance/src/vex/src/vexenv.c
index 17177a16..92d809d1 100644
--- a/alliance/src/vex/src/vexenv.c
+++ b/alliance/src/vex/src/vexenv.c
@@ -115,8 +115,8 @@
     "EG",
     "EX",
     "EU",
-    "<=>",
-    "==>"
+    "<->",
+    "->"
   };
 
 /* A few declaration that should be in vexenv I believe, but I leave