From 70609e9017413cc6be2a444dcda848c034855d04 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 5 Mar 2004 17:51:45 +0000
Subject: [PATCH] MutCase branches must be parsed and printed using
 \Rightarrow.

---
 helm/ocaml/cic_transformations/ast2pres.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/helm/ocaml/cic_transformations/ast2pres.ml b/helm/ocaml/cic_transformations/ast2pres.ml
index dbbfff8e5..654135699 100644
--- a/helm/ocaml/cic_transformations/ast2pres.ml
+++ b/helm/ocaml/cic_transformations/ast2pres.ml
@@ -153,14 +153,14 @@ and bigast2box ?(priority = 0) ?(assoc = false) ?(attr = []) =
 			        Box.smallskip; 
 		 		make_pattern constr vars;
 				Box.smallskip; 
-				Box.Text([],"->")]);
+				Box.Text([],"\Rightarrow")]);
 		      Box.indent (bigast2box rhs)])
 	  else
 	    Box.H([],[Box.Text([],sep);
 		      Box.smallskip; 
 		      make_pattern constr vars;
 		      Box.smallskip; 
-		      Box.Text([],"->");
+		      Box.Text([],"\Rightarrow");
 		      Box.smallskip; 
 		      Box.Object([],rhs)]) in
 	let plbox = match pl with
-- 
2.39.2