From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 5 Mar 2004 17:51:45 +0000 (+0000)
Subject: MutCase branches must be parsed and printed using \Rightarrow.
X-Git-Tag: v0_0_4~37
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=70609e9017413cc6be2a444dcda848c034855d04;p=helm.git

MutCase branches must be parsed and printed using \Rightarrow.
---

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